TeX source:
f:[-1,2] \to \mathbb{R}