../ labtex.mf 15-Feb-1993 07:00 3098 labtex.tex 15-Feb-1993 07:00 5027 xminus1.mf 15-Feb-1993 07:00 1342 xminus1.tex 15-Feb-1993 07:00 511