User blog:PolyhedralMatrix102/"Bigger" notation

"Bigger" notation is defined according to the Sass(n) function, which I already did.

make a⇄b=a↥Sass(n)b, now make ⌇⌇ equalto the proof theoretic ordinal of ZFC+any theorem that will be thought of.

the number I call "biggestillion" is equal to 708010⇄Sass⌇ ⌇ (BIGFOOT)