User blog:Ubersketch/CNFlex

Ordinals in Wainer Hierarchy can be easily compared lexicographically.

0 -> A

w^a -> aB

a+b -> abC

In addition you can also add all epsilon numbers up to z0 into CNFlex.

ea -> Da