On Tue, Feb 05, 2002 at 10:10:40PM +0200, Dekel Tsur wrote: > On Tue, Feb 05, 2002 at 08:26:21PM +0100, Andre Poenitz wrote: > > On Tue, Feb 05, 2002 at 08:40:46PM +0200, Dekel Tsur wrote: > > > Comments ? (and can I do this before 1.2.0 ?) > > > > It would be nice if it worked. The new symbols are a huge part of the user > > visible changes to mathed and simply should work. > > > > But wait for Lars ;-) > > > > Anayway: could you please explain once more why using the '10' in the font > > names is the right thing?
An explanation at a different level to the last one: That's the design size. Meaning that, this font is designed to be printed a 10pt size: its scalability is so that you can choose different resolutions, not different sizes. All the standard TeX fonts have different design sizes (5,7,8,10,12 I think), and you can clearly see that they look different. The smaller sizes are 'rounder' and have exagerrated features to make them much easier to read. Few modern fonts are designed with such care (although, of course, the really professional ones are). Jules
