This is LaTeX code:
[latex]
(\forall x \in V)(Bx = 0 \Rightarrow ABx = 0)
[/latex]