User blog comment:Hyp cos/Taranovsky has updated his ordinal notation page/@comment-30118230-20170204181121/@comment-30754445-20170205102731

Where can one find a clear definition of this notation, anyway?

Username? Hyp_cos?