TeX source:

P(A \mid B)