Source TeX:
5 > 4