TeX source:
2x^2>-8+7x