User blog comment:Syst3ms/Introduction and Analysis of Chained Array Notation/@comment-30869823-20180629193757/@comment-25601061-20180629210051

He has the formal definitions in another blog