Fuente TeX:
Th(\emptyset) = SENT