Fuente TeX:
\lnot \bot \in \Gamma