This is LaTeX code:

[latex]
\forall k \in \mathbb{N}_0
[/latex]