Fuente TeX:

\Gamma \not\vdash \bot \Leftrightarrow \lnot (\bar{\exists} \varphi)(\varphi \in \Gamma \land \lnot \varphi \in \Gamma)