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

Extension 8:

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

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