Fuente TeX:

\Gamma \text{ es consistente} \Leftrightarrow \text{ [def consistencia] } \Gamma \not\vdash \bot