TeX source:
\omega \notin B:P(\omega \mid B)=0