User blog comment:Primussupremus/Analysing and formatting my notation part 3./@comment-73.235.194.108-20170527202938

{a,b,c|#dR1} = {a,b,c|#d}

{a,b,c|#dRe} = {a,b,c|#{a,b,c|#dRe}}

There, a universal definition of 'recursed'.

{a,b,c|d,k} = {a,b,c|dRk}