TeX source:
E T 1