TeX source:
y ≤ −2x^2+12