User blog comment:DrCeasium/Hyperfactorial array notation: Analysis part 2/@comment-5529393-20130527105642/@comment-3427444-20130528022740

I think the problem that [1(1)2] does not reach Gamma_0 could be fixed by re-defining rule R1 and R2 using the w/ operator.