User blog comment:Vel!/BB(n) in FOST/@comment-30846880-20171224094012

How can we express the strongness of Rayo’s Function against BB? f_\omega^CK_\omega? Or f_/omega^CK_/omega^CK_1 or /alpha=/omega^CK_/alpha?