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?