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