ThmDex – An index of mathematical definitions, results, and conjectures.
F9899
Formulation 1
Then \begin{equation} \exp(x) \to 0 \quad \text{ as } \quad x \to - \infty \end{equation}