TeX source:

P(A-or-B)