TeX source:
E^∗=(0.37, 0.34)