TeX source:

x > 10