This is a variant of AHAN, but different rules by the definition of ABHAN, which Boris' notation doesn't work thanks to Deedlit.
Let get started! All Linear Array rules are same as AAN, but let replace a() into A2<>.
All Dimensional Arrays rules are same as AAN.
All Expanding Arrays rules are same as AAN, but replace ; with \.
Now, \ will be legion mark for {_}. Then #\ will be legion mark for #{_}. #{n} works like {n}, but {0} changed into #.
Set #{A#/B} as #\\\\...{A} with B \s. That's mean / is hyper nested mark for \\\... and #/ is hyper nested mark for #\\\...
{A/B} works like \(A,B) so it is stronger.
I think I will redo this. Let {0,B:1} will be legion mark for {(_),B-1:1}, but {0:1} is legion mark for {_} and {A{# 0,C:1}B} can be reduced into {A,B # C-1:1}.
Then: {0:2} is legion mark for {_:1}, {0,A:2} is legion mark for {(_:1),A-1:2}, and {A{0 # 0,C:2}B:1} can be reduced into {A # B,C-1:2}.
We can repeat this: {0:X} is legion mark for {_:X-1}, {0,A:X} is legion mark for {(_:X-1),A-1:X}, and {A{0 # 0,C:X}B:X-1} can be reduced into {A # B,C-1:X}.
Before we move on, every {A:X} adds the (_:X-1) layers. And (A:B) works like {A:B} but in the entry.
Then, {0:# 0,X} will be legion mark for {0:# (_),X-1} and {0 # 0:1} will be legion mark for {0 # _}.
Now the mayhem began... HAHAHA! Let ●_0 will be comma, ●_1 will be colon, and ●_2 will be... something.
Before we begin, let #: works like : but the comma replaced into #. Then /_: works like / but \ replaced into :.
Then ●_2 works like :, but \ replaced into :, and / replaced into /_:.
To go further:
Now set diagonalisers of diagonalisers as ●, its works like : but {0,N●1} is equal into ●_N.
●● already exist so we need to define bracket that A on [_] is stronger than normal A. Let call that as [], the square brackets.
Let [●●_0] as :, [●●_1] as ●, [●●_A] as ●, but it uses [●●_(A-1)] instead of :, then [●●] works like ●, but with [●●_x] instead of ●_x.
Then we can define more diagonalisers: Let [#●●_0] as [#], [#●●_1] as [#●], [●●_A] as [#●], but it uses [#●_(A-1)] instead of [#], then [#●] works like ●, but with [#_x] instead of ●_x.
Let:
Simple as that?
Now we can define diagonalisers of \_n! As - using in square brackets, so: [0,N-1] = [\_(N+1)].
Coming soon.
Now we can reach the final extension in AAHAN...
NOTE: These symbols on this extension is not defined on ABHAN. This will replaced when a new extension come out.
Let call X as a cascader, and [#+X] is a diagonaliser of [#+(_)]. But wait how? We can do this:
Then we can define more operators:
Since Alemagno defined the limit of X^^^^...X is H_X<X,(1,2)>, we do the same as AAHAN.
Limit of AAHAN is A2<n,n{0[A2<X,X{0[A2<X,X{0[A2<X,X{0[..]1}1>]1}1>]1}1>]1}1>