TeX source:
\overline x= 7.58