This is LaTeX code:

[latex]
 
f|_{\{ (x, y) : x^2 \in \mathbb{Q} \, \& \, y^2 \in \mathbb{Q} \}}
 
[/latex]