TeX source:
x > 3