This is LaTeX code:
[latex]
a_n \geq 0 \implies a_{n+2} \geq 0
[/latex]