a↑a(a(2)a)=a↑/1↑/1…(a↑/1个)
…
a↑a(a(a(a…)a)=a↑a(a(1)aa)
…
a↑a(a…a(a…(a)…)aaa…)=a↑a[a^a,3]=a↑a[a2,3]
…
a↑a[a…a,a]=a↑a[a,,a]
…
a↑a[a,,…,a]=a↑a[a(2),1]
a↑a[a(a),a]=a↑a[a,a,1]
a↑a[a(a),a(a),a(a)]=a↑a[{a},3]
a↑a[{a},{a},1]=a↑a[2a,{},1]
a↑a[3a,{},1]=a↑a[{a},{a},{a},1]=a[3]>1
a↑a[{a},{},{a},{a}]=a↑a[a,{﹜,4,a,1]=a{a}>4
…
a↑a[{a},{},{a﹜,﹛a﹜…(a个)]=a↑a[a,﹛﹛﹜﹜,1]
=a{{a}}>1
…
a﹛…﹛﹛a﹜﹜…﹜>1=a{a}>>a
…
a↑a(a(a(a…)a)=a↑a(a(1)aa)
…
a↑a(a…a(a…(a)…)aaa…)=a↑a[a^a,3]=a↑a[a2,3]
…
a↑a[a…a,a]=a↑a[a,,a]
…
a↑a[a,,…,a]=a↑a[a(2),1]
a↑a[a(a),a]=a↑a[a,a,1]
a↑a[a(a),a(a),a(a)]=a↑a[{a},3]
a↑a[{a},{a},1]=a↑a[2a,{},1]
a↑a[3a,{},1]=a↑a[{a},{a},{a},1]=a[3]>1
a↑a[{a},{},{a},{a}]=a↑a[a,{﹜,4,a,1]=a{a}>4
…
a↑a[{a},{},{a﹜,﹛a﹜…(a个)]=a↑a[a,﹛﹛﹜﹜,1]
=a{{a}}>1
…
a﹛…﹛﹛a﹜﹜…﹜>1=a{a}>>a