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