This is LaTeX code:
[latex]
x\in M^\perp \Leftrightarrow (x\perp m_1 \wedge x \perp m_2)
[/latex]