TeX source:
x^2 + 3 > 1