This is LaTeX code:
[latex]
\forall_i^\omega\forall_j^\omega(i\in j\vee i=j\vee j\in i)
[/latex]