Fuente TeX:

\lnot \bot \in \Gamma \Rightarrow \lnot \lnot \bot \in \Delta_\lnot