TeX source:

P(A) + P(A') =