This is LaTeX code:

[latex]

f(a') \in S_1

[/latex]