TeX source:
\overrightarrow ABC