User:Wythagoras/Extension of the compact ordinal notation