[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: |
Sun, 10 Jul 2016 01:24:04 -0400 |
User-agent: |
Mutt/1.6.1+68 (bf1c73de2b7c) (2016-04-27) |
Hi,
On 10/07/16 at 04:44am, Kaushal Modi wrote:
> While I have never seen the ¬ character before, I was even more surprised
> that that was set as a notation for 'not'.
You shouldn't be, as it is the 'not' sign!
https://en.wikipedia.org/wiki/Negation
Part of the inspiration for adding more things to some modes has been
that of the p-s-alist in tuareg.el:
https://github.com/ocaml/tuareg/blob/master/tuareg.el#L468
> now all instances of not are replaced with ¬ in lisp-mode if symbol
> prettification is enabled.
By all instances, do you mean there are places other than (not ) that
are getting changed? Otherwise, that was the point.
> It seems a bit intrusive because I have never seen that notation before.
> While I do know the sqrt notation √, I can imagine this being a source of
> confusion/annoyance for some people.
>
> 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.
Possibly--I added them because I thought they were safe things to add,
being common symbols (fsvo common, it seems). Safe moreso than and (∧),
or (∨), <=, >=, /= (≠) etc. In those cases I worry more about
having something like
(∧ (something so long I want to break the line)
(foo bar))
and ending up with bad indentation because of prettify-symbols-mode.
Not that anything else is really safe from inducing broken indentation,
it just seems less likely.
In any case, I don't feel strongly about it. One thing I just thought
of is making a mode's foo-prettify-symbols-alist a defcustom--perhaps
that will be nicer.