User blog comment:Lord Aspect/Ennea-Aggravation (aka my most successful notation yet)/@comment-35470197-20181014005501/@comment-35470197-20181014054656

Ok. I just did not understand what "\(\lambda(n)) sequences" and"\(\lambda(n)\)-level" precisely mean.

So which one in the following is the correct \(\lambda_1\)? Here I put \(A := 9 \uparrow \lambda_0\). \begin{eqnarray*} & & A \uparrow^{\lambda_0} (A-1) \uparrow^{\lambda_0} \cdots 1 \uparrow^{\lambda_0} A \uparrow^{\lambda_0-1} (A-1) \uparrow^{\lambda_0-1} \cdots 1 \uparrow^{\lambda_0-1} \cdots A \uparrow (A-1) \uparrow \cdots \uparrow 1 \\ & & A \uparrow^{\lambda_0} (A-1) \uparrow^{\lambda_0} \cdots 1 \uparrow^{\lambda_0} (9 \uparrow (\lambda_0-1)) \uparrow^{\lambda_0-1} ((9 \uparrow (\lambda_0-1))-1) \uparrow^{\lambda_0-1} \cdots 1 \uparrow^{\lambda_0-1} \cdots 9 \uparrow 8 \uparrow \cdots \uparrow 1 \end{eqnarray*}