TeX source:

25 > 9