TeX source:
1 \lt x