This is LaTeX code:
[latex]
\forall{y}\forall{z}(y\in{z\in{x}} \rightarrow y\in{x})
[/latex]