User blog comment:Boboris02/Large number combinatorics III:Sigma ordinal notation/@comment-30118230-20180115173455

EDIT: Fixed some problems with the definition I discovered after coming back to this 11 months later.