This is LaTeX code:
[latex]
(x,y) \in E \iff \exists S \in P \, t.d. \, x,y \in S \newline
[/latex]