TeX source:
\overleftarrow {ABC}