This is LaTeX code:
[latex]
x{\in}ImA, {\forall}x{\in}V)
[/latex]