TeX source:
E_0,  E_1, E_2