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

No, I got that a+ was successorship, so {a+[1]b} would be taking the successor b times, giving you a+b.

We apparently agree that {a+[1]b[1]c} = a+bc. I'd like to see how you calculated that {a+[1]b[1]c[1]d} = a+bc^d.

You want to avoid saying things like "({a+[1]a[1]a...} with b [1]s) c times", since it's not at all clear what that is supposed to mean - what is being done c times?