1←n'=R(1←n)
1←0=1
a←链1←n'=a←(a←链1←n)←(a←链1←n)←...←(a←链1←n)←n(最外层链数量相同)
a←链1←0=a←链1
a'←b'=a←(a'←b)←(a'←b)...←(a'←b)(最外层(a'←b)个链)
a'←0=a←a'←a'...←a'(最外层a'个链)

a←(c)b=a←(下标c)b
a←(1)b←(1)c←(1)...←(1)x=a←b←c←...←x
a←(n)链1←(c')b←链2(链2中最外层无下标,c不小于1)
=(...(a←(n)链1←(c)b←链2)←(n)链1←(c)b←链2)←(n)链1←(c)b←链2)←(n)链1←(c)b←链2)...)←(n)链1←(c)b←链2 (a←(n)链1←(c)b←链2 层)
a←(n)链1←(b')c←(1)d←链2(链2中最外层无超过1的下标,b不小于1)=a←(n)链1←(b)c←(a←(n)链1←(b')c←d←链2)d←链2

下面这些优先级小于上面的下标链除a←(1)b←(1)c←(1)...←(1)x=a←b←c←...←x以外的所有规则
a←(不知道啥1)链1←(←)b←(n)链2(链1,2中最外层无超过1的下标,链1中可以有←这样的下标,但链2中不行,n为1或根本没n)
=a←(不知道啥2)链1←(a←(不知道啥1)链1←b←(n)链2)b←(a←(不知道啥1)链1←b←(n)链2)链2...
就是将其中最外层所有非←之类的下标改掉
例如:
1.
3←(1)3←(←)4←(←)2←(1)3=3←(3←(1)3←(←)4←2←(1)3)3←(←)4←(3←(1)3←(←)4←2←(1)3)2←(3←(1)3←(←)4←2←(1)3)3
2.
2←(1)2←(←)3←(2)2=(...(2←(1)2←(←)3←(1)2)←(1)2←(←)3←(1)2)←(1)2←(←)3←(1)2)...)←(1)2←(←)3←(1)2 (2←(1)2←(←)3←(1)2 层)
而
2←(1)2←(←)3←(1)2=2←(2←(1)2←3←(1)2)2←(2←(1)2←3←(1)2)3←(2←(1)2←3←(1)2)2

（求增长率）

我整合一下:
1.前置函数
a'=a+1
R(a')0=2^...^R(a)(R(a)个^)
R(a)n'=R(R(R(...R(a)n...)n)n)n(R(a)n层)
R(a)=R(a)a
R(0)=1
----------------------
2.无下标部分
1←n'=R(1←n)
1←0=1
a←链1←n'=a←(a←链1←n)←(a←链1←n)←...←(a←链1←n)←n(最外层链数量相同)
a←链1←0=a←链1
a'←b'=a←(a'←b)←(a'←b)...←(a'←b)(最外层(a'←b)个链)
a'←0=a←a'←a'...←a'(最外层a'个链)
-----------------------
3.下标部分1
a←(c)b=a←(下标c)b
a←(1)b←(1)c←(1)...←(1)x=a←b←c←...←x
a←(n)链1←(c+)b←链2(链2中最外层无下标,c不小于1)
=(...(a←(n)链1←(c)b←链2)←(n)链1←(c)b←链2)←(n)链1←(c)b←链2)←(n)链1←(c)b←链2)...)←(n)链1←(c)b←链2 (a←(n)链1←(c)b←链2 层)
a←(n)链1←(b+)c←(1)d←链2(链2中最外层无超过1的下标,b不小于1)=a←(n)链1←(b)c←(a←(n)链1←(b+)c←d←链2)d←链2
-----------------------
4.下标部分2
下面这些优先级小于上面的除a←(1)b←(1)c←(1)...←(1)x=a←b←c←...←x以外的所有下标部分1规则
a←(不知道啥1)链1←(←)b←(n)链2(链1,2中最外层无超过1的下标,链1中可以有←这样的下标,但链2中不行,n为1或根本没n)
=a←(不知道啥2)链1←(a←(不知道啥1)链1←b←(n)链2)b←(a←(不知道啥1)链1←b←(n)链2)链2...
就是将其中最外层所有非←之类的下标改掉
例如:
1.
3←(1)3←(←)4←(←)2←(1)3=3←(3←(1)3←(←)4←2←(1)3)3←(←)4←(3←(1)3←(←)4←2←(1)3)2←(3←(1)3←(←)4←2←(1)3)3
2.
2←(1)2←(←)3←(2)2=(...(2←(1)2←(←)3←(1)2)←(1)2←(←)3←(1)2)←(1)2←(←)3←(1)2)...)←(1)2←(←)3←(1)2 (2←(1)2←(←)3←(1)2 层)
而
2←(1)2←(←)3←(1)2=2←(2←(1)2←3←(1)2)2←(2←(1)2←3←(1)2)3←(2←(1)2←3←(1)2)2
-----------------------
4.5下标部分2补充
举个例子
2←(1)3←(←)3←2←(1)2
=2←(2←(1)3←3←(1)2←(1)2)3←(2←(1)3←3←(1)2←(1)2)3←(2←(1)3←3←(1)2←(1)2)2←(2←(1)3←3←(1)2←(1)2)2
明显,本身无下标的在内层变成了(1)下标,外层等同于别的下标
-----------------------
5.下标部分3
a←(←+n)b在扩充时留n
例如:
3←(1)3←(←+4)4←(1)4=3←(3←(1)3←(4)4←(1)4)3←(3←(1)3←(4)4←(1)4)4←(3←(1)3←(4)4←(1)4)4
同理有a←(←+←)即a←(←*2)
例如:
3←(1)3←(←*2)4←(1)4=3←(3←(1)3←(←)4←(1)4)3←(3←(1)3←(←)4←(1)4)4←(3←(1)3←(←)4←(1)4)4
所以......
3←(1)3←(←*3)4←(1)4=3←(3←(1)3←(←*2)4←(1)4)3←(3←(1)3←(←*2)4←(1)4)4←(3←(1)3←(←*2)4←(1)4)4
(←*←)=(←^2)
先扩充
3←(1)3←(←^2)4←(1)4=3←(3←(1)3←(←*(3←(1)3←(←)4←(1)4))4←(1)4)3←(3←(1)3←(←*(3←(1)3←(←)4←(1)4))4←(1)4)4←((3←(1)3←(←*(3←(1)3←(←)4←(1)4))4←(1)4))4
为啥有两层括号是因为乘方下到留←的乘法也要一层
所以3←(1)3←(←^^2)4←(1)4=3←(3←(1)3←(←^(3←(1)3←(←*(3←(1)3←(←)4←(1)4))4←(1)4))4←(1)4)3←(3←(1)3←(←^(3←(1)3←(←*(3←(1)3←(←)4←(1)4))4←(1)4))4←(1)4)4←(3←(1)3←(←^(3←(1)3←(←*(3←(1)3←(←)4←(1)4))4←(1)4))4←(1)4)4
而(←^...^n)(m个箭头(乘方号))=(←[m]n)
(←[n]n)简写为(←[n])
目前极限貌似n←(←[n])n←(←[n])n...←(←[n])n (n层)