This is LaTeX code:
[latex]
P_0\in {\bf Q}\times({\bf R}\backslash{\bf Q})
[/latex]