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

I have uploaded a new version, replacing {m} with m  partly because I started doing in in my handwritten work but also because it avoids confusion between [ ] and { }. I also have strongly recursed the level of subscripting in the definitions of [a] and [a,b] etc.

P進大好きbot's comments about indicating variables got me thinking. I have a large scale function with variables m, y, and x. Decrementing y produces large functional powers of m. When y goes to zero, m decrements and y becomes large. When both m and y reach zero, x increases (and there is also a rule that changes x and y when x reaches 1). But might this large scale function be extended to more variables, such as adding a variable q where q and m have a similar relationship as m and y? And it seems to be this could be extended to arbitrarily many variable except that I do not know how to handle the notation. Is this conceptually sensible, even if I don't have specific notation for it?