TeX source:
P(B)\neq 0