TeX source:
P(A|B) = \frac{P(A\wedge B)}{P(B)} \text{~if $P(B)>0$}