Richard Stallman <r...@gnu.org> 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 @kbd{M-@key{TAB}}."? The
former TAB would be unslanted, the latter slanted. It looks
inconsistent, I would say.
Note, that @kbd{M-@key{TAB}} is given as example in the texinfo manual.
Best regards, Michael.
