TeX source:
0 \leq x \leq 1 / 2