User blog comment:Mh314159/A new approach/@comment-35470197-20190702151646/@comment-39585023-20190702173959

Yup!

old definition:  [x][y][n] = [x]x][n-1][n[n-1]

should be: [x][m][n] = [x]x][m-1][n[n-1] where m and n are numbers

so the example, [x][1][2] = [x] x][2 [1] then agrees.

I will also clarify that in all cases of [x]...[z], that where the terms inside the brackets are strings, that before recursing, they are replaced by [a]...[b] where a is the value of [x] ... b is the value of [z]. I have used this in a few placed but I guess I need to be clear about it being universal.

A question:  Is the row of brackets notation strong enough to add much, or would it be similarly as strong and simpler to proceed from strings to the next f number?

Thanks!