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