Re: use html ⇒ symbol for @result

[Patrice Dumas]

On Fri, Jan 05, 2007 at 08:06:41PM -0800, Per Bothner wrote:
> It would be nice to use standard HTML4 symbols for some of the special
> texinfo symbols.  Specifically, @result.  I suggest using ⇒ aka
> U+21D2 aka "rightwards double arrow".  This also works for docbook,
> since docbook also defines many (most? all?) of the HTML4 entities,

For your information, when using 'iso symbols' in texi2html, we use:

         'equiv'     => '≡',
         'dots'      => '…',
         'bullet'    => '•',
         'result'    => '⇒',
         'expansion' => '→',
         'point'     => '∗',
         "'"         => '’',
         '`'         => '‘',

makeinfo does the same for some of these commands and for the quotes.

--
Pat