Re: Font changes

>In particular, I need to put some machinery in place to handle font
>changes, so that one can render vectors in bold, etc.  One option is
>to add an "internal schema" such as
>        (mfont "font data" args)
>where "font data" would be things like "Bold", "Upright",
>"BoldUpright" and so on.  The effect would be to override the default
>font for (mi ... ) entries in the scope of the (mfont ...).

This sounds best to me too -- I think it will be compatible with
whatever we end up with. I think it's better for "args" to be only
one argument -- otherwise you have to decide how several of them
are supposed to be arranged.