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

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 という演算が産まれた