Re: [Hol-developers] opinions about Unicode unary (numeral) negation?

[Anthony F. <ac...@ca...>]

Perhaps "small hyphen-minus" (0xFE63) for numeric negation.  I'm not  
particularly keen on "superscript minus" here.

Anthony.

On 19 Jan 2009, at 10:59, Michael Norrish wrote:

> "Tjark Weber" <tw...@ca...> wrote:
>> On Mon, 2009-01-19 at 14:53 +1100, Michael Norrish wrote:
>>> At the moment, HOL uses ~ (tilde) for boolean and numeric negation  
>>> in
>>> ASCII-world, and this works OK (the tilde is consistent with SML).
>>> However, with Unicode enabled, it then uses ¬ for both purposes too.
>
>> Changing the latter (i.e., supporting different syntax for different
>> (overloaded) functions in Unicode) is not an option?
>
> The API isn't quite there yet, but this will be an option.  The  
> question was
> more "which symbol should we use?" (¬ is clearly not right).
>
> Michael
>
>
>
> ------------------------------------------------------------------------------
> This SF.net email is sponsored by:
> SourcForge Community
> SourceForge wants to tell your story.
> http://p.sf.net/sfu/sf-spreadtheword
> _______________________________________________
> Hol-developers mailing list
> Hol...@li...
> https://lists.sourceforge.net/lists/listinfo/hol-developers