This is LaTeX code:

[latex]
\forall a \in A \hspace{5mm} aRa
[/latex]