TeX source:
f\colon [0,2]\to \mathbf{R}