TeX source:
0 \lt x \lt 1