ThmDex – An index of mathematical definitions, results, and conjectures.

Convention N700 on D865: Standard natural real logarithm function

Notation for standard natural basic real logarithm function

The notation used for the D865: Standard natural real logarithm function is $x \mapsto \log(x)$ or $x \mapsto \ln(x)$.