Re: html cross refs proposal

> No.  @TeX{a text} is an error.  (I know makeinfo does not generate an
> error for it right now, but it's still erroneous.)

Right

>     @equiv utf-8 character 2261
> 
> Best to write "U+2261".  We don't need to specify utf-8, we want to use
> the generic Unicode code point value, not the bit pattern in any given
> representation.

An cut and paste of old stuff...
 
>     Non 7 bit characters are transformed into the unicode corresponding 
>     character in normalization form C. 
> 
> And this in turn depends on the document encoding ... And the foreign
> manual might use a different encoding ... I think there could be a
> difficulty here, but I'm not concerned at the moment.

I am not certain that it depends so much on the encoding, as the unicode
consortium published translation tables for most encodings. And even if there
was an ambiguous conversion, normalizing in form C should should be enough
to ensure that it leads to a unique name.

Pat
_______________________________________________
Texinfo home page: http://www.gnu.org/software/texinfo/
[email protected]
http://ff0.org/mailman/listinfo/texinfo-pretest