Fuente TeX:

\Gamma \models \alpha \Rightarrow (\bar{\forall}\Gamma \subseteq \Delta)( \Delta \models \alpha)