User blog comment:Boboris02/Boris´s sezration notation/@comment-30118230-20161006212049/@comment-24920136-20161007152209

What about [ a((@)) b ]=  [a(№(g_g)_ (№(g_g)_... (№(g_g)_@)... ) )b]

And then  [ a((@+1)) b ] =   [ a((@)) .. a.. . ((@)) a ]

[ a(((@))) b ] =   [ a(( [ a...((@))... a ] )) a ]

[ a(@--c+1) b ] =   [ a(... (@)...c parenthesis ) a ]