TeX source:

4 > 1