未说明时省略号省略a次，$为任意合法序列。
[a](0)=a+1
[a](0)|$=[[…[a]$…]$]$
[a](0)$=[a]$|$|……
[a](n')$=[a](n)……$
[a](1,0)=[a](a)
[a](1,n')$=[a](1,n)……$
[a](1,(1,0))=[a](1,a)
[a](1,(1,n'))$=[a](1,(1,n))……$
[a](n',0)=[a](n,(n,(…(n,a)…)))
[a](n',m')=[a](n,(n,(…(n,m)+1…)))
[a](1[0]0)=[a](1,0)
[a](1[0]|[0]|$0)=[a](1[0]|$0[0]|$……)
[a](1[0]$0)=[a](1$|$|……0)
[a](1[n']$0)=[a](1[n]……$0)
[a](1[1,0]0)=[a](1[a]0)
[a](1/0)=[a](1[1[…[1[1]0]…]0]0)
[a](1[n/]0)规则同(1[n/]0)
[a](1//0)=[a](1[1[1[…[1[1/]0/]…]0/]0/]0)
[a](1[/0]0)=[a](1[/]0)=[a](1/0)
[a](1[/][/]0)=[a](1//0)
[a](1[/n']$0)=[a](1[/n]……$0)
[a](1[/[1,0]]0)=[a](1[/a]0)
[a](1[/[1,n']]$0)=[a](1[/[1,n]]……$0)
[a](1[//]0)=[a](1[/[/[…[/]…]]]0)
[a](1[[/][/]]0)=[a](1[//]0)
[a](1/_1 0)=[a](1/0)
[a](1/_n' 0)=[a](1[[…[/_n]…]]0)
[a](1/_[1,0]0)=[a](1/_a 0)
[a](1/_/0)=[a](1/_[1/_[…[1/_a 0]…]0]0)
极限[a](1/_/_……0)