Re: texinfo bug or user error: dots inside example

[Karl Berry]

    it doesn't seem valid to use texinfo commands inside of an example

Yes, it is definitely valid to use Texinfo commands within @example, in
fact they almost always are.

@example is just another environment, one that happens to switch the
default font to typewriter.