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