Source TeX:
(x^2+1)\ne 0