User blog comment:B1mb0w/The Alpha Function/@comment-24920136-20160407193455/@comment-10262436-20160408010405

You are probably correct. I intend to use >> when two numbers are incomparable using simple math expressions up to exponentiation. In other words, FGH and other ordinal functions are necessary to compare the difference.

I was just too lazy to check whether that is true in this case.

Cheers