TeX source:
x > 4