User blog comment:Googleaarex/My number is bigger! (Googology Wiki version)/@comment-24509095-20140921122723/@comment-1605058-20140921123037

I think this is idle-defined, as of now*.


 * jk, it's not defined