User blog comment:Primussupremus/more depth in the expansions and theory of my array notation part 2./@comment-73.235.194.108-20170527202800

Take 2 at defining Primus' notation:

{a,1,c} = a+c

{a,b,1} = a if b > 1

{a,b,c} = {a,b-1,{a,b,c-1}} if b > 1 and c > 1

Okay, that is just hyperoperators. Here is where "recursed" is defined:

{a,b,cR1} = {a,b,c}

{a,b,cRd} = {a,{a,b,cRd-1},c}

{a,b,c|d} = {a,b,cRd} - wait, if {a,b,cRd} = {a,b,c|d}, then why do we need R? We'll find out later!