TeX source:

\overrightarrow {ABC}