TeX source:

P (A | B)