TeX source:

P(B)>0