Fuente TeX:

\lnot (\bar{\exists} \varphi)(\varphi \in \Gamma \land \lnot \varphi \in \Gamma)