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