TeX source:
\Delta\overline{E}(s)