User blog comment:Mh314159/new YIP notation/@comment-39585023-20190705220451/@comment-35470197-20190705225750

We have \([a,b] = a\) for any \(a > 1\). I am pretty sure that you have some typo, because \(\{0\}(x)\) is never used. I guess that the rule \(\{0\}_0(x) = \(-1\)_0^0(x) = x\) should be corrected.