This is LaTeX code:

[latex]
S := (\mathbb{R} \setminus \mathbb{Q}) \times (\mathbb{R} \setminus \mathbb{Q})
[/latex]