<math> <apply><implies/> <apply><in/><ci>n</ci><integers/></apply> <apply><in/><apply><plus/><ci>n</ci><cn>1</cn></apply><integers/></apply> </apply> </math>