TeX source:

P(A \text{ OR }B) =