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