User blog:Luckyluxius/KeyArrow Notation extension

Basically, Keyarrow Notation is where

\(a|1|b = a^{b^{b}}\)

\(a|2|b = a|1|(a|1|b)\) and

\(a|n|b = a|n-1|(a|n-1|b) for n > 1\)

If you have two lines (such as a||1|b), it is equal to a|1|(a|2|b).

If you have three lines (such as a|||1|b), it is equal to a|1|(a|2|(a|3|b)))

Let's add some more variables.

a|d|b|c = \underbrace{a^{a^{a^{\cdots^{b}}}}_{c \text{times}} for c > 2 and d = 1

for example: 2|1|4|4 = 2^{2^{2^{2^{4}}}}.

a|2|b|c = a|1|b|(a|1|b|c)

a|n|b|c = a|n-1|b|(a|n-1|b|c).

If you have something that defines the amount of lines with the a||1|b rule or a|||1|b rule or with any line for that matter, (for example: a|(n,3)|b) and add it to the 4-variable rule, then a|(n,m)|b|c = a|n|b|(a|n+1|b|(a|n+2|b|(\(\cdots\)(a|n+m|b)))

Now let's have 5 variables.

a|b|(c,1)|d|1 = a|b|c|d

a|b|(c,1)|d|n = a|b|c|d|(a|b|c|d|n+1) for n > 1

a|b|c,m|d|n = a|b|c|d|(a|b|c|d|(a|b|c|d|\(\cdots\) (a|b|c|d|n+m))

Let's add something to the ending variable so that if there are 2+ lines, then (n,1) would be addition, (n,2) = multiplication, (n,3) = exponentiation, (n,4) = tetration and so on, to the multi-line rule.

2||(2,2)|(4,3) = 2|2|(2|2^2|2), and

2||(n,4)|(4,3) = 2|n|(2|n^2|(2|2^3|(2|2^4|4)))

and so on...

You can merge all these to create a||(b,c)|(d,e)|f and

a||(b,c)|(d,3)|f|g.

Let's make the biggest number we could in the comments if you could.