[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: Sun, 10 Jul 2016 01:24:04 -0400
User-agent: Mutt/1.6.1+68 (bf1c73de2b7c) (2016-04-27)


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!

Part of the inspiration for adding more things to some modes has been
that of the p-s-alist in tuareg.el:

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

reply via email to

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