This is LaTeX code:
[latex]
f(x_1) = f(x_2) \Rightarrow x_1 = x_2
[/latex]