This is LaTeX code:
[latex]
\alpha a = 0 \Leftrightarrow \alpha=0 \vee a=0
[/latex]