User blog:Alejandro Magno/I made simbol for sucessor and predecessor operators

Sucessor is n ->

Predecessor is n >-