TeX source:
e \leftarrow e_1 + e_2