User blog comment:! cook the lettuce/Question about ordinal tetration/@comment-30004975-20200221210307

Where did you find that? It's pretty much impossible to make a sensible definition of ordinal tetration where w^^(w+1) is larger than ew (and even that's a bit of a stretch)