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

GFan, I love your notation, but I got a little confused here: '''I assume that X and Y and N are numbers? And I see the last number in the string recursing, so I assume that means that Z and then Y and X will also eventually recurse? I'm a little confused by the x+1 expression because I can't tell how it associates. Is it like a zero in that it separates [N+1] from [M] but at a higher operator level than zero? I have some more work to do to fully understand it. But excellent work!'''
 * 1) n[0[X]0[Y]...0[Z]0,x+1[N]...]m=n[0[X]0[Y]...0[Z]n,x[N]...]m
 * 2) n[0[X]0[Y]...0[Z]0[N+1]x+1[M]...]m=                               n[0[X]0[Y]...0[Z]0[N]0[N]...n separators added...0[N]n[N+1]x[M]...]m