bug-texinfo
[Top][All Lists]
Advanced

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: use html ⇒ symbol for @result


From: Karl Berry
Subject: Re: use html ⇒ symbol for @result
Date: Mon, 8 Jan 2007 17:01:22 -0600

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

Thanks much.  I did that.





reply via email to

[Prev in Thread] Current Thread [Next in Thread]