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

Extension 8:

a-((-))-b = a-(-(-(...-(-(-)-)-...)-)-)-a /w b nested

a-((-))--b = a-(-(-(...-(-(-((-))-)-((-))-)-((-))-...)-((-))-)-((-))-)-((-))-a /w b nested

a-((-)-)-b = a-((-))((-))((-))...((-))((-))((-))-a /w b ((-))'s

a-((-)--)-b = a-((-)-)((-)-)((-)-)...((-)-)((-)-)((-)-)-a /w b ((-))'s

a-((-)(-))-b = a-((-)-((-)-(...(-)-((-)-((-)-)-)-...)-)-)-a /w b nested

a-((--))-b = a-((-)(-)(-)...(-)(-)(-))-a /w b (-)'s

a-(((-)))-b = a-((-((-((...-((-((-))-))-...))-))-))-a /w b nested

Limit is a-(((...(((-)))...)))-b