TeX source:

P(B') =