[[[ To any NSA and FBI agents reading my email: please consider ]]]
[[[ whether defending the US Constitution against all enemies, ]]]
[[[ foreign or domestic, requires you to follow Snowden's example. ]]]
> I agree, that the @key{} command in the texinfo manual has been defined
> as "conventional name for a key on a keyboard". But in practice, for
> example in the Emacs manual, @key{} is also used for characters which
> are entered by the corresponding key.
I don't understand the subtle distinction you're making.
> I gave the example from the Emacs manual:
> "@code{esc-map} is for characters that follow @key{ESC}."
> Obviously, @key{ESC} here is not a key to be typed,
I think it is a key to be typed. Why do you say it isn't one?
but the escape
> character
It is both, isn't it? It is a key to be typed, and we
call it the escape character.
--
Dr Richard Stallman
President, Free Software Foundation (https://gnu.org, https://fsf.org)
Internet Hall-of-Famer (https://internethalloffame.org)
Skype: No way! See https://stallman.org/skype.html.
