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