Fuente TeX:
\Gamma_1 \models (p \lor \neg q) \to (p \land q)