../ mathcomp.dtx 15-Jan-2001 00:00 6951 mathcomp.ins 07-Oct-1996 00:00 251 mathcomp.pdf 19-Jan-2006 15:17 175K