Source TeX:

f : \mathbb{R} \rightarrow \mathbb{R}