TeX source:
 P(A | B) = 0