Fuente TeX:

T' = (T \cup \{e\}) \backslash \{e\} = T