TeX source:
x^3 + 3 > 1