User blog comment:Antares.I.G.Harrison/Complete Graham Notation/@comment-26084716-20150307082753

Yes, [a,b,c,d] = a{a.....a{a{a{c}b}b}b.....b}b with d {}'d in Bower's Bracketed Operator