TeX source:
P(k)\neq 0