> 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 _______________________________________________ Bug-texinfo mailing list [EMAIL PROTECTED] http://mail.gnu.org/mailman/listinfo/bug-texinfo
