User blog comment:PsiCubed2/CURRENT VALUE OF PEGG/@comment-25337554-20180710102841/@comment-30754445-20180711110119

> They might use their own notations for nested arrows, or just FGH.

I wasn't refering to googology (which is mostly ignored completely by professional mathematicians). There must be a hundred other uses for underbraces and overbraces. It's an elementary feature I would expect from any math engraving software, even if I'd never heard of up-arrows or googology.

> All other people just want to talk about bigger and bigger infinities. Now almost nobody seems to be interested in such small numbers.

That's obviously not the reason, because people ask questions about linear BEAF and similar things all the time.

I do agree, though, that this crazy race to bigger and bigger ordinals is absurd. Especially when it results in people just making up 99% of the stuff they're writing. People should make sure that they really and truly understand the BHO level before they start throwing mahlos and weakly-compacts (and things which are much much worse) into the discussion.