Source TeX:
-x^2+x+6\neq 0