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

[Mark Oteiza]

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.