Buchholz's notation

Redirect to:

• Ordinal notation#Buchholz