User blog comment:Mh314159/A hopefully powerful new system/@comment-35470197-20190628050713/@comment-35470197-20190629021255

> When clarity is needed for embedding in an expression with a higher cycle number, the [0]\ indicator should be retained, indicating a terminated number to which the cycle rule will not further apply.

Could you explicitly write down the rule set in terms of mathematical formulae to compute an expression of the form [0]\[x] instead of natural-language-based explanation? I could not understand the exact rule set.