User blog comment:TechKon/Some "function" i made/@comment-34422464-20181209151003/@comment-4852660-20181209154853

Hm, not a bad idea. The problem is I wanted to maintain a level of consistency from my Mixed factorial operation, which uses the exact same +^n notation, starting at +^1 with addition, etc. So if I change the +^n rules here to start at +^0 I will probably change the Mixed faxtorial rules as well.