TeX source:
\Omega _{1}=\{\lnot \}