TeX source:

P\left(O^{c}\right)=1 / 32