TeX source:
2 < x