../ oldstyle.dtx 17-May-1999 16:16 4729 oldstyle.ins 17-May-1999 15:21 659 oldstyle.pdf 09-Mar-2009 03:31 71672