TeX source:
E_0, E_1, E_2