TeX source:
0 \leq x \leq 3