`{(c-k)(cm-k)}'

Moves up; normally the same as `(m-k)', but sometimes passes through display forms defined appropriately. IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html