TeX source:
\widehat ABC