TeX source:
\overline x= 10