TeX source:
\overline {ABC}