User talk:Wythagoras/Extension of the compact ordinal notation