TeX source:

E_0