User blog comment:Mh314159/new YIP notation/@comment-39585023-20190714235606/@comment-35470197-20190718224622

> a, n are nonnegative integers

You only need to declare dependent variables. Since \(n\) is supposed to be defined by \(a\), you do not have to declare \(a\). Declaring only dependent variabls helps others to understand what are dependent variables.

Also, how about enumerating lines of rules in the following way? Then the dependency is more clear. Using \(:=\) also helps others to understand that left hand side is defined by the right hand side.
 * 1) \([a,b,\ldots,\alpha,0] := [a,b,\ldots,\alpha]\).
 * 2) \([a,b,\ldots,\alpha,\beta] := g_n^n(n)\).
 * 3) \(N :=\) the length of the array in the lenft hand side.
 * 4) If \(a = 1\), then put \(n := [[b,\ldots,\alpha,\beta],b,\ldots,\alpha,\beta-1]\).
 * 5) If \(a > 1\), then put \(n := [a-1,b,\ldots,\alpha,\beta-1]\).
 * 6) \(\underline{0}_0(x) := [\underbrace{x,\ldots,x}_{N-1},\beta-1]\).