User blog comment:Cookiefonster/Left-arrow notation?/@comment-99.185.0.100-20150815201303

I have a notation I call chain-mixing notation. It is defined:

(@ is a right or left arrow)

a@b = ab


 * 1) @1 = #


 * 1) @1@a = #


 * 1) @a→b = #@(#@(a-1)→b)→(b-1)


 * 1) @a@b←c = #@(#@a@(b-1)←c)@a←(c-1)