TeX source:
P(a) \neq 0