TeX source:

P(B|\neg A)