This is LaTeX code:
[latex]
\forall x\forall y ((xQy \wedge yQx)\rightarrow (x=y))
[/latex]