User blog comment:Wythagoras/FGH of Array Notations/@comment-1605058-20130705193651/@comment-10429372-20130706053443

Deedlit wrote:

The standard ordinal notation at this level uses an inaccessible cardinal I. lambda (a, b) would be represented as psi_I (Ia + b). The notation can go to psi_I (Gamma_{I + 1}) or higher.

Lambda is defined by Ikosarakt like so:

lambda(0,a) = theta(Omega_a)

lambda(1,0) = theta(Omega_Omega_...)