TeX source:

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