Fuente TeX:
T_1 = CONS(\emptyset)