This is LaTeX code:
[latex]
\exists x \in A \cup B:\ x = f(y)
[/latex]