TeX source:
P(c+ik)\neq 0