User blog comment:Rgetar/Ordinal Explorer Online/@comment-44238981-20200214192953/@comment-32213734-20200215030533

They are some large cardinals I invented last summer.

Last month I noticed similarities between my system used in Ordinal Explorer v6.2 and Taramovsky's C, and I supposed that [cn] = Ωn (here "Ωn" is Omega from Taramovsky's C, not n-th uncountable cardinal):
 * [c] = Ω = Ω1
 * [c2] = L = Ω2
 * [c3] = R = Ω3
 * [c4] = Ω4
 * [c5] = Ω5

"c" is some even larger cardinal, "cn" is c multiplied by n.

Yesterday I came up with an idea: currently "maximizing first argument" rule of Taramovsky's C is used, but what if to add an option, when "minimized first argument" is displayed? I think it would be more readable. For example,
 * [εΩ + 1] instead of [Ω2] (BHO)
 * [Φ(1, 0)] instead of [L] (here Φ(1, 0) is the first Omega Fixed Point).

Actually, [L] = [I] = [Φ(1, 0)]. I think that [L2] = [M]; [L3] = [K]; etc. [R] is much larger ordinal.

Maybe, today I'll try to add this option)