BEAF/L-space

b&p = {p,p,...,p,p} [b times] - linear array
b&p&m is a tetrationnal structure, much bigger than any linear structure, b&p&m&n a pentationnal, bigger than multidimensionnal structures, and so on

b$p = p&p&...&p&p [b times] -- insanely fast
{b,p/1} = b^p -- 1 is still the default element
{b,p/2} = b$p
{b,p/n} = {b$p,b$p/n-1}
{b,p/#/1} = {b,p/#}
{b,p/#/n} = {{...{{b,p/#/n-1},b$p/#/n-1}...},b$p/#/n-1} [b$p times]
{b,p/#/n,k} = {b,p/#/n/n/.../n/n} [k times]

b&&p = {b$p,b$p/b$p,b$p/.../b$p,b$p/b$p,b$p} [b times]
b$$p = p&&p&&p&&...&&p&&p&&p [b times]
{b,p//1} = b^p
{b,p//2} = b$$p
{b,p//n} = {b$$p,b$$p//n-1}
{b,p//#//1} = {b,p//#}
{b,p//#//n} = {{...{{b,p//#//n-1},b$$p//#//n-1}...},b$$p//#//n-1} [b$p times]
{b,p//#//n,k} = {b,p//#//n//n//...//n//n} [k times]

b&&...&&p = {b$$...$$p,b$$...$$p//...//b$$...$$p,b$$...$$p(//...//)...(//...//)b$$...$$p,b$$...$$p/b$$...$$p,b$$...$$p}
b$$...$$p = p&&...&&p&&...&&p(&&...&&)...(&&...&&)p(&&...&&)p(&&...&&)p
And so on - you can see the pattern

You can use dimensions, i.e. {b,p(1)/2} = {b,p//...//2} [p /'s]

{L,1}<b,p> = b$p
{L,n}<b,p> = b$$...$$p [{L,n-1}<b,p> $'s]

{L,b,1,...,1,1,c,#} = {L,b,b,...,b,{L,b-1,1,...,1,1,c,#},c-1,#} - simply
X-structures works: {L,X}<b,p> = {b,p(1)/2}
A-structures either (w/ A any struct. weaker than L)
L-structures: {L,L} = {L,2,2}, then {L,L,...,L,L} = {L,L,...,{L,L,...,L,1},1}

b@p = {L,L,...,L,L}<b,p> [b L's]
b@p@m = {L,L,...,L,L}<b@p,m> [b@p L's]
{L2,1}<b,p> = {b,p\2} = b@p
You can continue with {L2,100}, {L2,L2}, L2&100 (why not?), etc
Then b%p = {L2,L2,...,L2,L2}<b,p> [b L's], {L3}<b,p> = {b,p|2} = b%p
And L10, L100, LL1000, LLL...LLL [100^100 L's]...