User blog comment:Primussupremus/Another attempt at defining some type of notation./@comment-31663462-20170419011223/@comment-30754445-20170419100315

@Simply Beautiful Art.

According to the blog entry itself, (a(b)c) seems to be defined as "a [b-2 arrows] c".

The presentation is very confusing, though. Indeed, Prim seems to confused himself as well, since his reply to you contradicts the actual examples in his post...