User blog comment:Alejandro Magno/I made simbol for sucessor and predecessor operators/@comment-1605058-20140929050328

These functions have standard notations S(n) and P(n).