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

[Michael Albinus]

Richard Stallman <address@hidden> writes:

Hi Richard,

>   > I think non-slanted is better, because it distinguishes between text
>   > that a user types from text that the user doesn't type, but is instead
>   > the label of a key.
>
> I'm leaning towards agreeing, but I'd like to see
> if anyone has an argument for the other choice.

What about a text like "Type @key{TAB} or @address@hidden"? The
former TAB would be unslanted, the latter slanted. It looks
inconsistent, I would say.

Note, that @address@hidden is given as example in the texinfo manual.

Best regards, Michael.