This is LaTeX code:
[latex]
s_{1}\notin P
[/latex]