This is LaTeX code:
[latex]
f_1(1)=1 \Rightarrow
[/latex]