TeX source:
0 < x \leq 10