User blog comment:Googleaarex/Make an extension of the notation/@comment-5029411-20140926211035/@comment-25371339-20140926220744

Hmph...

Let a-(-)(-)-b be equal to a-(-) ^ (-)-b

Then:

a-(-) ^^ ---b = a-(-)(-) (-) ...(-) (-) (-)   -a with b levels a-(-) ^^-- ^ --b is next level.

Etc...

Then:

a-(-) ^^ ---b = a-(-) ^^ -- (-) (-) ...(-) (-) (-)   -a with b levels

etc.

Limit is a-(-) ^^ (-) ^^ (-) ^^...^^ (-) ^^ (-) ^^ (-)-b