TeX source:
f\colon \mathbb{R}\to\mathbb{R}