TeX source:
\{\bot ,\top \}