This is LaTeX code:
[latex]
(\forall n \in \mathbf{N})(S_n = \frac{n(n+1)}{2})
[/latex]