This is LaTeX code:

[latex]
a+b\in M, \forall a, b \in M,
[/latex]