User blog comment:Googleaarex/Extended HyperNested Arrays/@comment-5150073-20130407201559/@comment-5150073-20130407213858

Yes, W can be considered as e_W and therefore e_W+1 = e_W^e_W^e_W...e_W^e_W^e_W (with w W's). Note: I used W to represent the capital omega (first uncountable ordinal), and w for the first transfinite ordinal.