User blog:Bubby3/Extended UNAN

Optimized first-order dimensional array notation
When it encounters a first-order comma, hit should search for a 0th order separator (a separator without a subscript). This should give the ordinal strength Bachmann-Howard ordinal instead of Feferman-Schutte Ordinal. For example, in {0{0,11}11}, which has the strength of your system, S1 would be {0,11} and Sn+1 would be {0,{0 Sn 1}11}.

Higher-order array notation
We now introduce nth order separators ({}n) and nth order commas (,n). An nth order comma would search for an n-1th order separator, and if doesn't find one, it adds one. right inside the highest nested lower level separator For example, {0,22} becomes {0{0,22}1}. This has level psi(Ww)