User blog comment:Deedlit11/Ordinal Notations I: Up to the Schutte Klammersymbolen/@comment-35835117-20191206211628

This allows us to define ordinals such as (1@ω, β@0), which denotes the βth extended critical ordinal. Shouldn't it be the (1+β)th extended critical ordinal, as the SVO is the first, not the 0th?