TeX source:
\ln\colon \ ]0,\infty[ \ \to \mathbb{R}