Fuente TeX:

\alpha \in Cons(\Gamma) \;\; entonces \;\; \alpha \in DER \;\; y \;\; \alpha \in Cons(Cons(\Gamma))