TeX source:
\widehat {ABC}