User blog comment:Alemagno12/O Ordinal Notation/@comment-26428969-20151025223025/@comment-25601061-20151026011136

From my A ordinal notation.