This is LaTeX code:
[latex]
f(x)=f(y)\Rightarrow x=y
[/latex]