Re: New non-ascii symbol?

[Karl Berry]

    address@hidden:~/gnus/texi$ makeinfo -I . --enable-encoding -o gnus 
gnus.texi
    gnus.texi:24845: warning: invalid encoded character `aring'.

I think makeinfo is telling you that US/ASCII has no aring.  I guess
that warning message should mention the encoding.

    remove --enable-encoding (which I probably should do, since gnus.texi
    doesn't mention a @documentencoding) there is no warning:

Right.  If the @documentencoding is set to ISO-8859-1, there should be
no warning, as I understand it.

    Perhaps @not{}?  Map to ISO-8859-1 0xAC or UTF-8 U+00AC.

This is going down the slippery slope of adding math characters.  In
what context is it used?  Is it really needed?

Thanks Simon.

karl