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

Am I right in estimating that fx(x) is greater than x↑xx and that [1] reaches at least w+1? Does that also imply that [2] reaches only w+2? And that this is why [n] is in the region of w2? And the illegal call is at {0}0(x) = [[x-1,b],b-1] because of course x can be large.  Maybe this was from thoughtlessly imitating the definition of p, which is a constant, Should have noticed it.  Is it fixed by {0}0(x) = [x,b-1]?

I will consider indicating the variables as you described, although I'm worried that it will make the notation harder to follow for newcomers especially since I'm already using subscripts for another purpose.