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

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

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

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

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