TeX source:
E_1^{0'}