> > Why not using <RET> for @key{RET} in the PDF too?
>
> I don't know. There is a commented-out version with angle
> brackets,
>
> It's an enclosed lozenge, not just angle brackets.
I don't like the lozenge very much.
> If you want the lozenges, perhaps we should make a Texinfo option,
> along the lines of kbdinputstyle. keystyle {plain,lozenge} or some
> such. Personally I think they're distracting rather than useful.
I suggest
\<CR>
instead.
Werner
