User blog comment:SuperSpruce/The T function part 3: Tetrational Arrays/@comment-35470197-20190409011116/@comment-35470197-20190409050838

I see. Thank you.

So what does "dimensional separator" precisely mean? Is it just an expression of the form {a} for a natural number a?

Uh, I forgot the "curly" condition in the definition of a layer. Sorry. Also, the next entry of the first entry 0 in [0,[1],2] is 1, right?