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

Extension 6:

Let define * is {^} and ' is {^^}.

The limit of this notation is a-^{^{^{...^{^{^}}...}}}-b.

Extension 7:

Let define a-(-)-b = a-^{^{^{...^{^{^}}...}}}-a /w b nested

Define a-(-)--b = a-^{-^{-^{...-^{-^{-^-(-)-}-(-)-}-(-)-...}-(-)-}-(-)-}-(-)-a /w b nested

Define a-(-)^-b = a-(-)-(-)-(-)...(-)-(-)-(-)-a /w b (-)'s

Define a-(-)^^-b = a-(-)^-(-)^-(-)^...(-)^-(-)^-(-)^-a /w b (-)'s

Define a-(-)^*-b = a-(-)^^^...^^^-a /w b ^'s

Define a-(-)^'-b = a-(-)^*((-)^*(...(-)^*((-)^*)...))-a /w b nested

Define a-(-)(-)-b = a-(-)^{(-)^{(-)^{...(-)^{(-)^{(-)^}}...}}}-a /w b nested

Define a-(--)-b = a-(-)(-)(-)...(-)(-)(-)-a /w b (-)'s

Define a-(-^-)-b = a-(---...---)-a /w b -'s

The limit of this extension is a-(-(-(...-(-(-)-)-...)-)-)-b