User:Wythagoras/Dollar function/Legion Nested Array Notation II

Legion Nested Array Notation II is the seventh part of Dollar Function. This part introduces the legion marks.

Definition
17. \(0,_{\diamond,0,c,\bullet}1 = 0,_{\diamond,[0,_{\diamond,[0,_{\diamond,[0,_{...}1],c-1,\bullet}1],c-1,\bullet}1],c-1,\bullet}1\)

18. \(a\bullet,_{\diamond,0,c,\bullet}1 = 0,_{\diamond,[a-1\bullet,_{\diamond,0,c,\bullet}1][a-1\bullet,_{\diamond,0,c,\bullet}1],c-1,\bullet}1\)

19. \(0,_{\diamond/0/c,\bullet}1 = 0,_{\diamond/0,_{\diamond/0,_{\diamond/.../c-1,\bullet}1/c-1,\bullet}1/c-1,\bullet}1\)

20. \(a\bullet,_{\diamond/0/c,\bullet}1 = 0,_{\diamond/a-1\bullet,_{\diamond/0/c,\bullet}1/c-1,\bullet}1\)