TeX Quellcode:
\overleftarrow {ABC}