TeX source:
0 > x > 10