User blog comment:Alejandro Magno/ExE array of/@comment-146.111.121.99-20141021234340

Note that if E_&(m)_n = En#m then E_&(1)_n = En#1 = En, but E_&(0)_n = En#0, which is formally undefined. However I've already known for a long time that @n#0 = n, because it may be interpretted as zero applications of whatever the "@" operator represents. So En#0 = E^0(n) = n. In other words 0-applications of the E-function. This is inconsistent with your previous rule.

Also there is no clear meaning to the phrase "% is a structure of #'s". You have to clarify that before you claim it reaches theta(W_w). In BEAF the idea of a "structure" can be defined by the number of non-1 entries produced by  where % is some delimiter. In this sense we can explore what is meant by legion space. But there isn't an equivalent property for #s because they are more of an ordinal notation. Ordinals do not have formal definitions for operations beyond exponents, and possibly the ^^w operator. Anything above that has to be constructed from the ground up ... as I did in xE^ and #xE^.