[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: Mark Oteiza
Subject: Re: ¬ notation for not? Ref: Add a couple cells to lisp-prettify-symbols-alist
Date: Thu, 14 Jul 2016 18:31:42 -0400
User-agent: Gnus/5.13 (Gnus v5.13) Emacs/25.1.50 (gnu/linux)

Clément Pit--Claudel <address@hidden> writes:

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

Thanks for the feedback: reverted in 098d29af.

reply via email to

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