This is LaTeX code:
[latex]
S' \subseteq S
[/latex]