User blog comment:Nayuta Ito/generalization of arrow notation/@comment-10429372-20141025122001/@comment-10429372-20141025142916

okay, like that.

What I believe is that ( n ^^ (1/k) ) ^^ k = n should hold.