User blog comment:Syst3ms/Looking for some ideas/@comment-30869823-20180526213547/@comment-35392788-20180531115616

Well, an array notation based on the ackermann function already exists, it's Taro's multivariable ackermann function. But extending it seems nice. I'll think about it.

I had an idea for generalizing over any hierarchy, I might come back with that.

MOST seems interesting indeed, but it only requires being extended to higher ordinals, right ?

I've actually already made a googological program, but it's a runnable jar, so not the best. It computes simple BEAF, SAN, E# and BMS expressions.