User blog comment:Googleaarex/Fundamental sequences for my ordinal notation/@comment-1605058-20170225174736/@comment-28606698-20170225183311

I think default is considered that ordinals in this rule are written in Cantor normal form