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