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