This is LaTeX code:

[latex]

u+y_0\in\{Q\leq c\}

[/latex]