TeX source:
f:D\to \mathbb{R}