Source TeX:
x > 4