bug-texinfo
[Top][All Lists]

## Re: cross manual references in html manuals, second

 From: Dumas Patrice Subject: Re: cross manual references in html manuals, second Date: Tue, 3 Jun 2003 17:52:43 +0200 User-agent: Mutt/1.4i

>     Maybe other people use it to express another kind of equivalence, but
>     it doesn't mean the same thing as ='' or ==''.
>
> It is certainly true that == and \equiv (the real symbol, three
> horizontal lines) don't mean the same thing.  However, we have to
> transliterate \equiv into something for Info.  I think the symbol =='
> is better than the word equiv', although admittedly it's just my
> opinion.  Do you have another suggestion?

Use the utf-8 character, similarly than @exclamdown or @pounds.

Pat