User blog comment:Kite in rainbow/A weak and clear version of my Bracket-Comma notation ver2,it reaches Γ(0)/@comment-5529393-20160205072717

Addressing 3>>[] [ [] [ [] ] ]=[] [ [] ] [ [] [] ] [ [] [] [] ] again:

we have X(1) = [], X(2) = [] [ [] ]. So n = 2, i = 1, m = 0.

Then Y(0) = 0, Y(1) = []. So Y(2) = Y(1)[1 >> X(n)] = [] [ [] ], Y(3) = [] [ [] ] [2 >> X(n)] = [] [ [] ] [ [] [] ], or one bracket shorter than what you have listed.

Similarly, you have 4>>[] [ [] [ [] [ [] ] ] ]=[] [ [] ] [ [] [ [] ] ] [ [] [ [] ] [ [] [] ] ] [ [] [ [] ] [ [] [] ] [ [] [] [] ] ], but by the same reasoning as above it should have four components, not five.