TeX source:
y>x^2+1