TeX source:

x > 125