TeX source:
P(A) + P(A') = 1