User blog comment:Alemagno12/The Addition and Substraction functions./@comment-26428969-20151230151524

usually it is S that is the +1 ("S"uccessor) function and P the -1 ("P"redeccessor) function