TeX source:

P(x)\neq0