This is LaTeX code:

[latex]
\forall k\in\bf N
[/latex]