> From: Michael Albinus <[email protected]> > Cc: [email protected], [email protected], [email protected], > [email protected] > Date: Wed, 07 Mar 2018 14:21:03 +0100 > > 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.
Actually, it is wrong to use @key when you mean ESC the character, you should use just ESC. @key is solely when referring to a key by its label.
