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

> Let \(A_0\) be the main array

Is it an (not nested) array?

I could not understand what a "nested array" precisely means. I would like to know what way of nesting is allowed here. For example, are \(A\), \(\{A\}\), and \(\{A \{0\} 0\}\) nested arrays for any array \(A\) (especially \(A = 0\))?

> jump inside it at its first entry.

Does it mean "replace \(b\) by the first entry of \(A_{\textrm{ad}}\)"?

After that, \(b\) becomes an array or a nested array, which is not necessarily a natural number, right? If so, what does the inequality \(b > 0\) in the step 4 mean?

> \(lv(A_i) \geq lv(A_j)\)

Does \(lv\) mean \(L\)?