TeX source:
\omega \in B:P(\omega \mid B)=\alpha P(\omega )