TeX source:
\overline ABC