This is LaTeX code:
[latex]
\forall A,B,C \subseteq R
[/latex]