TeX source:
P(\neg B\vert \neg A)