Re: Problematic glyphs in HTML output

    For 'print', it seems that we missed the U+22A3 codepoint, I think
    it should be used for cross-refs.

Ok.

    For 'point' U+2605 looks like the TeX symbol but not like the info one.
    Should we use it for cross refs?

I guess it is better than the U+2217 asterisk operator we have now, so
let's go with it.   (The info representation is quite weird, let's not
worry about it.)

    For 'expansion' I believe we should stick with U+2192, and not use U+21A6,

Ok.

I updated the manual with the above two changes.

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