User blog comment:Primussupremus/The next part of my notation analysed./@comment-73.235.194.108-20170603152032

Okay.

You leave a hole as to what, say [a,b,c|d,e,f] is defined, so I will just say...
 * [a,1,c] = a+c
 * [a,2,c] = a*c
 * [a,b,c] = a{b-2}c if c > 2
 * [a,b,c|0] = [a,b,c]
 * [a,b,c|d] = [a,[a,b,c|d-1],c|d-1]
 * [a,b,c|d,0] = [a,b,c|d]
 * [a,b,c|d,e] = [a,b,c|[a,b,c|d,e-1]]

A lot like hyper-e notation. And now...
 * [a,b,c|@,0] = [a,b,c|@] (@ is any string)
 * [a,b,c|@,p,q] = [a,b,c|@,[a,b,c|@,p,q-1]]


 * [a,b,c|d,k#p] = [a,b,c|(p d's),k] (a possible interpretation)