This is LaTeX code:

[latex]
 f(x1)=f(x2) -> x1=x2
[/latex]