This is LaTeX code:
[latex]
f(a) \in S_2 \; \Rightarrow f(a)\leq F(x_2)
[/latex]