Re: HTML output of @r

[Jonathan S. Shapiro]

>     It depends on how @example is implemented. If you used a verbatim-like
>
> I don't see that @example has anything to do with it.  @r is a
> general-font-changing command that can and does occur anywhere.
>

Ahh. The context in which I saw it was switching to roman font within an
@example or @lisp environment, thus my confusion.

Let me withhold further comment until I understand it better.