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

Continuation:

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

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

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

etc.

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