TeX source:

P(A\wedge B)=0