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)}