TeX source:
P(A \mid B)=P(A)