TeX source:
9 > 4