User blog comment:SuperJedi224/Nested Multifactorial Notation/@comment-5029411-20140112215956

1. n!m = n!m-1*(n-1)!m

2. n!^x_m = (n!^{x-1}_m)!_m

Other rules is other nested factorial notation rules.