Fuente TeX:

\Gamma \text{ CM } \Leftrightarrow (\bar{\forall} \varphi \in PROP)(\varphi \in \Gamma \text{ o } \lnot\varphi \in \Gamma) \text{ [por ej. de pto] }