TeX source:
P(A | B)