User blog comment:Wythagoras/Dollar function part 1/@comment-25418284-20130605055940/@comment-25418284-20130605213719

As I said to DrCeasium, I really don't like the @ convention. See this from the definition of HAN:

\(n![@_1(a)y,@_21,m,@] = n![@_1(a)y,@_2[@_1(a)y,@_2[@_1(a)y,@_2[...[@_1(a)y,@_2[@_1Z(a)y-1,@_21,m,@],m-1,@]...],m-1,@],m-1,@],m-1,@]\)

This is clearer to me:

\(n![\circ(a)y,\bullet 1,m,\diamond] = n![\circ(a)y,\bullet[\circ(a)y,\bullet[\circ(a)y,\bullet[...[\circ(a)y,\bullet[\circZ(a)y-1,\bullet1,m,\diamond],m-1,\diamond]...],m-1,\diamond],m-1,\diamond],m-1,\diamond]\)