List of functions

• Cantor normal form, or CNF
• The Veblen hierarchy
• Buchholz's psi
• Extended Buchholz's psi
• Rathjen's OCFs^{(sort out)}
• Arai's OCFs^{(sort out)}
• Stegert's OCFs^{(sort out)}