Richard Stallman <[email protected]> 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.