In text, move left.
On terms, normally move to left term sibling, cycling back to the rightmost term child.
Will pass through some display forms appropriately defined. IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html