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

Ah, in that case, we would have to deal with non-existence of x^^0.5 for some numbers (namely, these between 0 and e^e^-1).