TeX source:

P(\neg A)=1-P(A)\neq 0