TeX source:
f\colon\left[a,\infty\right[\to\mathbb{R}