TeX source:
0 < x < 8