This is LaTeX code:

[latex]
 
P(n)\Longrightarrow (P(n+1) \Longleftrightarrow 0=0)
 
[/latex]