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

although, i might add, these are rarely used outside of the study of formal systems / mathematical logic