Source TeX:
\forall x\in E, x*e=e*x=x