This is LaTeX code:

[latex]
 
v \in L + M \ \Leftrightarrow \ (\exists \, x \in L)(\exists \, y \in M) \, v = x + y
 
[/latex]