TeX джерело:
\:{\overline a \bot \overline b\:\Leftrightarrow\:\overline a \cdot \overline b=0.}\: