TeX source:
E^∗