fontname code for scaled variants

K. Berry kb@cs.umb.edu
Sat, 13 Jun 1998 10:46:35 -0400 (EDT)


    at least set aside a few for ``user specific variants''.

Well, as long as the font isn't being distributed widely, it doesn't
really matter what name you give it.

But anyway, the only single characters I see that are sort of available
are 0-4 and b.  Why don't we say `0'.  And we can reserve [5679]z.

OK? Will that help?