User blog comment:Ynought/Hyper extended array hierarchy/@comment-35470197-20190129040854/@comment-35470197-20190130135239

How many \(\bullet\)'s in the definition of \(\bullet \leftarrow_0\)?

Also, what are \(a,b, \ldots,c\) in the definition of \(E_k\)?