This is LaTeX code:
[latex]
(f(i)=k) \Rightarrow f(j) \geq k
[/latex]