TeX source:
\overleftarrow ABC