TeX source:
0 < x 10