This is LaTeX code:
[latex]
(\forall Q\subseteq A\times A)(RQ=QR=Q)
[/latex]