This is LaTeX code:
[latex]
y_0\not\in\{Q\leq c\}
[/latex]