Re: texinfo - please add macro

[Eli Zaretskii]

> Date: Wed, 16 Aug 2000 19:00:40 -0400
> From: Karl Berry <[EMAIL PROTECTED]>
> 
> I don't think we can make arrows in HTML

Well, there's &rarr and such likes, but my references indicate that
they are not universally supported.  So I guess it's ASCII art
again...