User blog comment:Vel!/Ordinals and arrow notation/@comment-25418284-20131212025050/@comment-25418284-20131212080054

I don't now, something about w^^(w2) didn't jibe well with my intuition.

(I was going to make a long comment on the first sentence, but I'll elaborate in the post instead.)