User blog comment:Wythagoras/FGH of Array Notations/@comment-7484840-20130709094415

I've finished revamping HAN, and now the subscripts do get up to psi_0(Omega_Omega_...) = psi_0(psi_I(0)). There are also now no ultraseparators, and a new type of bracket for the subscript that I'm not sure about the power of, but I'm fairly sure that it goes to at least psi_0(I^I^I), and I'm working on taking it further.