ε_0まではBEAFと同じ。
テトレーション空間の区切りを.={1´2}={1{1,,2}2}で表す。しかし{n,n{1{1,,2}2}2}みたいな表記はvalidでない。
{n,n{1,,2}2}={n,n{1´2}2}=ε_0
{n,n{1,,2}3}=ε_0*2
{n,n{1,,2}1,2}=ε_0*ω
{n,n{1,,2}1{1,,2}2}=ε_0^2

以下、{n,nA2}のAの部分だけ書く

{2,,2}=ε_0^ω
{3,,2}=ε_0^ω^ω
{1{1{1,,2}2}2,,2}={1{1´2}2´2}=ε_0^ε_0
{1{1{1{1,,2}2}2{1,,2}2}2,,2}
={1{1{1´2}2´2}2´2}
=ε_0^ε_0^ε_0
{1{1{1,,2}3},,2}={1´3}=ε_1
{1{1{1,,2}4},,2}={1´4}=ε_2
{1{1{1,,2}1{1{1,,2}2}2},,2}
={1´1{1´2}2}=ε_ε_0
{1{1{1,,2}1{1,,2}2}2,,2}
={1´1´2}=ψ(Ω)
{1{1{1,,2}1{1,,2}1{1,,2}2}2,,2}
={1´1´1´2}=ψ(Ω^2)
{1{1{2,,2}2}2,,2}=ψ(Ω^ω)
{1{1,,2}2,,2}=ψ(Ω^Ω)
{1{1{1,,2}2,,2}2,,2}=ψ(Ω^Ω^Ω)
{1,,3}=ψ(ε_{Ω+1})