次に>>67で作った演算を新たな演算で表現にしてみる

a[][][[]] = a[][[]][]a
a[][][[]][] = a[][[]](a[][][[]])
a[][][[]][][] = a[][[]](a[][][[]][])
a[][][[]][][][] = a[][[]](a[][][[]][][])
a[][][[]][][][][] = a[][[]](a[][][[]][][][])
a[][][[]][]...{[]がn+1個}...[] = a[][[]](a[][][[]][]...{[]がn個}...[])

これも次のような省略記法を導入する

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

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