TeX source:

P(A)=\frac{\overline{\overline{A}}}{\overline{\overline{\Omega}}}