User blog comment:Mirai Nikki/A hello with some of my work/@comment-5529393-20141012211407

There is a problem with your definitions. As it stands, if you have a notation with multiple decrementative iterators, you will keep applying rule 4.1 until the rightmost decrementative iterator is 0, and then you apply rule 4. The rule is always “the largest number which can defined using the decimal digits and hyperoperators up to the ħth element, using ƞ symbols or less.” The decrementative iterators to the left of the rightmost one are never referenced or decremented, so for example o<3>[3]{3,3,3,3,3} will be the same as o<3>[3]{3}, for example.