Fuente TeX:
\alpha \in Cons(Cons(\Gamma))