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

New generalization of Extension 8:

Let a-(-)0-b be a-b, a-(-)--b be a-{^}-b, a-(-)---b be a-(-)-b, etc.

Limit is a-(-)-(-) -(-) ... -(-) -(-) -(-) 0- - - ... - - -b, or something like that.