TeX source:

P(A-and-B)