TeX source:
P(A \text{ OR }B) = P(A) + P(B) − P(A \text{ AND }B)