[Date Prev][Date Next] [Chronological] [Thread] [Top]

Re: '0' replacement



> So maybe we should place
> it in HIDDEN ? Or maybe some other existing vocabulary, or a new one?
> Any comments and suggestions will be appreciated,

Since numerals are allowed tokens without any vocabulary directive, HIDDEN
seems to me the most appropriate solution.

Josef Urban