Def [T]Array  == n:m:{n...}{n..m}T

is mentioned

In prior sections: array 1

IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html