TeX source:
2x^2+y ≤ 12