Re: Help sought understanding shorthands wrt modules/packages

[Helmut Eller]

On Thu, Nov 10 2022, Richard Stallman wrote:

>   > One thing that was talked about in the past is something like "local
>   > shorthands".  I think the idea is that a certain prefix is only active
>   > in a certain region of the text.
>
> I think we could do this easily enough using the existing shorthands
> feature.  Would you like to write it?

No, I'm not interested.  I general, I think it was unnecessary to
implement shorthands in the reader.  It could have been done with a
macro: just substitute those symbols that start with a shorthand prefix
with the corresponding fully prefixed symbol.

Helmut