[[[ 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.

Reply via email to