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