User blog comment:Deedlit11/Is BEAF well-defined?/@comment-25418284-20121023211454/@comment-25418284-20121117193603

The whole 0 vs. 1 thing has always irritated me a little :/

Something weird is happening:


 * X = {b, p (1) 2}
 * X^X = {b, p (0, 1) 2}
 * X^X^X = {b, p ((1) 1) 2}
 * X^X^X^X = {b, p ((0, 1) 1) 2}
 * X^X^X^X^X = {b, p (((1) 1) 1) 2}
 * X^X^X^X^X^X = {b, p (((0, 1) 1) 1) 2}
 * X^X^X^X^X^X^X = {b, p ((((1) 1) 1) 1) 2}

The (1) and (0, 1) are alternating. Why?

X^^X = X^^p = X^X^...^X^X, p times.

Maybe this is the point where we e-mail Jabe himself and ask him what's going on.

X^^X happens when the ((((1) 1) 1) 1) nesting reaches p.