User blog comment:DrCeasium/Hyperfactorial Notation - Take 2/@comment-5150073-20130330145048/@comment-7484840-20130330154911

Yes that was correct, but it turns out that I made a mistake in the definition, which has now been fixed, and I believe this makes the notation a little more powerful now.