[Top][All Lists]

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: ¬ notation for not? Ref: Add a couple cells to lisp-prettify-symbols

From: Clément Pit--Claudel
Subject: Re: ¬ notation for not? Ref: Add a couple cells to lisp-prettify-symbols-alist
Date: Thu, 14 Jul 2016 23:18:24 +0200
User-agent: Mozilla/5.0 (X11; Linux x86_64; rv:38.0) Gecko/20100101 Thunderbird/38.8.0

On 2016-07-10 06:44, Kaushal Modi wrote:
> Should these notations be instead suggested in the doc-string of
> lisp-prettify-symbols-alist? People interested to see these notations
> can then add that to their personal configs.

I use ¬ pretty commonly at work, but I'm not sure how well it works for Lisp: ¬ 
is a logical not, but lisp's ‘not’ is a bit more general (¬ t) looks quite 
fine, but (¬ 1) looks like a type error to me, whereas (not 1) is fine :)

Stefan, maybe that's why you're more comfortable with that symbol in OCaml?

In any case, I'd vote in favor of reverting, and adding a suggestion to the 


Attachment: signature.asc
Description: OpenPGP digital signature

reply via email to

[Prev in Thread] Current Thread [Next in Thread]