This is LaTeX code:

[latex]
\forall (x_1,y_1) \in \mathcal{A} \quad \forall (a,b,c) \in V \quad \exists ! (x_2,y_2) \in \mathcal{A} \quad td \quad v((x_1,y_1),(x_2,y_2)) = (a,b,c)
[/latex]