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

Also the successor function is also denoted a', and I also used ~ for predecessor here.