TeX source:
0 \leq x \leq \pi / 4