TeX source:
y > x^2+1