TeX source:
P(A \cap B) = 0