Fuente TeX:
CONS(\Gamma) \subseteq \Gamma