User blog:Vel!/Bootstrapping ExE

My favorite part of BEAF is the array-of operator, specifically its ability to nest as in 3&3&3. This allows BEAF to define its own structures and describe itself, adding immense power to the notation. It also makes the notation far more complicated to define, because now we have to define the notation over both natural numbers and countable ordinals.

ExE has no such operator, and it lacks both the power and the complexity that arise from it. In this post I will attempt to define something analogous to an array-of operator, perhaps allowing us to develop ExE legion space.

Background
ExE forms power towers with a base of 10. If we replace 10 with the symbol "#" and pretend that this substitution is perfectly valid and does not require any clarification, we can define some neat arrays such as this:

\[E100(E_\#100#100)100 = E100\#^{\#^{.^{.^{.^{\#^{\#^{100}}}}}}}\]