This is LaTeX code:

[latex]
 
P(y)\equiv y\notin y
 
[/latex]