TeX source:
4 < x