Re: New non-ascii symbol?

[Simon Josefsson]

Sorry for slow response...

address@hidden (Karl Berry) writes:

>     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.

Yes, that would be good.

>     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.

I've fixed the Gnus manual now.

>     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?

It is an advanced scoring predicate, from the manual:

  @item !
  @itemx not
  @itemx ¬
  This logical operator only takes a single argument.  It returns the
  logical negation of the value of its argument.

It is somewhat obscure, but I think the symbol is needed, since you
can use it in lisp scoring expressions, as in:

(¬ foo)

So if the manual doesn't include the symbol, the user wouldn't be
aware of it.  Perhaps that's a good thing, though, I'm not sure how
portable non-ASCII lisp expressions are...

I admit this doesn't seem like a strong argument for adding it,
though.

Thanks.