User blog comment:Jamazzzzzzzz/X^^^X structures DO reach gamma 0/@comment-11227630-20190604234331

Next steps of BEAF: I believe that some googologists (at least me) got stuck at those problems when they analyzed BEAF.
 * 1) What is n^2&n&n and n^2&n&n&n? Are they interpreted as {X,X^2(1)2}&n and {X,{X,X^2(1)2}(1)2}&n? Or the bold n's in n^2&n&n should have different "level"?
 * 2) What is {X,X^2/2}&n, {X,X^2/2}&&n, and {X,X^2//2}&&n?
 * 3) What is L(X+1)?
 * 4) What is LL(1)L (where the (1) is a separator inside the L-array)? Are there things like L2(1)X?