This is LaTeX code:

[latex]
 
x=y\Rightarrow f(x)=f(y)
 
[/latex]