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

Final extension:

a-^^--b = a-^^-a-^^-a...a-^^-a-^^-a with b a-^^-a's

a-^^-^-b = a-^^---...---a with b bars

a-^^-^^-b = a-^^-^-^-^-...-^-^-^-a with b -^'s

a-^^^-b = a-^^-^^-^^-...-^^-^^-^^-a with b -^^'s

The limit of this extension is a-^^^...^^^-b