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

This reminds me of my Untitled Notation.

Here is it:

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

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

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

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