TeX source:

25 > 4