> From: Michael Albinus <michael.albi...@gmx.de>
> Cc: bug-texinfo@gnu.org,  k...@freefriends.org,  e...@gnu.org,  
> jwieg...@gmail.com
> 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

Reply via email to