User blog comment:Syst3ms/Funky Notation/@comment-35470197-20181003080925/@comment-35470197-20181003232349

Thank you.

So the notion of a nested array depends on the main array or the current nested array, right? For example, in the step 3 in Process, does "if \(b\) is a nested array" mean that \(b\) is a nested array with respect to \(A_0\) or that \(b\) is a nested array with respect to \(A_{\textrm{ad}}\)?

The difference occurs when \(b\) is the unique entry \(0\) of the enry \([0]\) of the main array in your definition. It is a nested array with respect to \([0]\), but not with respect to the main array.