IF YOU CAN SEE THIS go to http://www.cs.cornell.edu/Info/People/sfa/Nuprl/Shared/Xindentation_hack_doc.html
At:
sfa doc ntuple contains example i in <1,(-1),0>: ^3. i<0
By:
Compute
Coi in <1,(-1),0>: ^3. i<0
Co* Co3 = 1 & <1,(-1),0><0
Co 32
Co & 1<0 3-1 = 1 & <-1,0><0 3-12 & -1<0 (i in 0: ^(3-1-1). i<0)