This is LaTeX code:
[latex]
v_{1} \neq v_{2} \ \Rightarrow \ ...
[/latex]