TeX source:

x > 1000