TeX source:
P(A\mid B)