TeX source:

f\colon ]0,1]\to \mathbb{R}