TeX source:
x > 2