Re: When should we put @key inside @kbd?

[Michael Albinus]

Richard Stallman <address@hidden> writes:

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

My point is how to mark non-printable characters like ESC (not keyboard
keys to be pressed) properly in texinfo. The current practice to mark
them like @key{ESC} looks OK to me, but it is not documented.

I'm speaking about a text which explains data structures for example, no
keyboard input.

Best regards, Michael.