User blog comment:LittlePeng9/Higher order set theory/@comment-24509095-20141010045633

I doubt $$\text{Rayo}^{100}_{O_O}(10^{10^{100}})$$ would be any big (besides the fact that it is big), because you'd need tons of symbols