User blog comment:Ubersketch/I need some help with this unnamed notation./@comment-5529393-20180919004507/@comment-34422464-20180919121518

Oh you must've misunderstood. a+ isn't addition, it's successorship. Also a+[1]b[1]c is supposed to be a+bc a+[1]b[1]c[1]d is supposed to be a+bc^d {a+[2]b[1]c} would be ({a+[1]a[1]a...} with b [1]s) c times. I think i definitely need to clear some things up more because even I know this is confusing as all hell.