>>67,68,69の帰納的記法に注目する

a[][[]][]0 = a[][[]] = a[[]][]a
a[][[]][](n+1) = a[][[]][]n[] = a[[]][](a[][[]][]n)

a[][][[]][]0 = a[][][[]] = a[][[]][]a
a[][][[]][](n+1) = a[][][[]][]n[] = a[][[]][](a[][][[]][]n)

a[][][][[]][]0 = a[][][][[]] = a[][][[]][]a
a[][][][[]][](n+1) = a[][][[]][]n[] = a[][][[]][](a[][][][[]][]n)

上記のパターンのルールより、以下の省略記法を導入する

a[](m+1)[[]][]0 = a[]m[[]][]a
a[](m+1)[[]][](n+1) = a[]m[[]][](a[](m+1)[[]][]n)

これで a[]b[[]][]c という演算が産まれた