This is LaTeX code:

[latex]

x=\{y\ |\ P(y)\}

[/latex]