TeX source:

\Omega _{0}=\{\bot ,\top \}