On Notations for Ordinal Numbers