TeX source:
y ≥ x^2 −1