TeX source:
P(B\vert A)