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

Ok, here's continuation:

a-^*(^)**-b = a-^*(^)*^*(^)*^*(^)*...^*(^)*^*(^)*^*(^)*-a with b ^*(^)*'s

a-^*(^)*(^)*-b = a-^*(^)***...***-a with b *'s

More coming soon!