User blog comment:Mh314159/new YIP notation/@comment-39585023-20190709154901

I have made the recursion of  m 0(x) stronger by basing it on the strongest previous definition,  m 0(x-1) instead of the weaker m-1 [x,b-1](x) (to use the example from two bracketed numbers). m 0(x-1) now applies to all rule sets but terminates to  m 0(1) differently for each rule set. I have edited the rules but left the old rule in place, indented in a different font, for comparsion. Actually, I like the different font. Eventually I might like to use it for the entire notation. Not sure how it I did it, to be  honest, other than putting space bars in front.