Re: use html ⇒ symbol for @result

[Per Bothner]

Karl Berry wrote:
> I have no objection to using rArr.  I installed the patch, but changed
> `docbook' to `xml' so that --xml output would use it too.

That is somewhat questionable.  The ⇒ entity is defined for HTML
and docbook, but isn't "built-in" to xml the way & (say) is.
So for general plain XML without an entity declaration &rArr is
undefined.

The best solution, I think, is to add this line to texinfo.dtd:
<!ENTITY rArr         "&#x21D2;">

Alternatively, we could have  makeinfo emit plain &#x21D2;
for @result{}, but that is a bit ugly.
--
        --Per Bothner
address@hidden   http://per.bothner.com/