TeX source:
P(ik)\neq 0