User blog comment:LittlePeng9/FOOT is not as strong as I thought/@comment-5529393-20161225195528

Welp, in one of the links our old friend Ikosarakt1 defines Ra(a,b) to be the largest number definable in a symbols using b-th order set theory, and goes with Ra(meameamealokkapoowa oompa,meameamealokkapoowa oompa). ;)