This is LaTeX code:
[latex]
\forall v_{1},v_{2} \in V(v_{1} \neq v_{2} \ \Rightarrow \ d(v_{1}) \neq d(v_{2}))
[/latex]