TeX джерело:
\:\overline {AB}=\bar a,\: