Fuente TeX:

\scriptstyle{(\bar{\forall} \varphi \in \mathcal{L}_0)(\bar{\forall} \Gamma \subseteq \mathcal{L}_0)(\Gamma \vdash \varphi \Leftrightarrow \Gamma \neq \oslash )}