ThmDex – An index of mathematical definitions, results, and conjectures.
Convention N699 on D1932: Standard natural real exponential function
Notation for standard natural basic real exponential function
The notation used for the D1932: Standard natural real exponential function is $x \mapsto \exp(x)$. Due to result R3621: Standard natural exponential function equals powers of Napier's constant, one may also use $x \mapsto e^x$.