TeX source:
3 < x