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

Well, I thought you suggested this because it should be the case that k^k=(3^^0.5)^^2=3^^(0.5*2)=3^^1=3, by mistakenly believing that (a^^b)^^c=a^^(b*c) should hold.