TeX джерело:

\:{\overline a \bot \overline b\:\Rightarrow\:\overline a \cdot \overline b=|\overline a|\, |\overline b|\,\cos 90^\circ=0.}\: