Fuente TeX:

P(n) \Rightarrow P(n+1)