From: Mark Oteiza <mvoteiza@udel.edu>
To: "Clément Pit--Claudel" <clement.pit@gmail.com>
Cc: Kaushal Modi <kaushal.modi@gmail.com>,
Stefan Monnier <monnier@iro.umontreal.ca>,
emacs-devel@gnu.org
Subject: Re: ¬ notation for not? Ref: Add a couple cells to lisp-prettify-symbols-alist
Date: Thu, 14 Jul 2016 18:31:42 -0400 [thread overview]
Message-ID: <87oa5zx35d.fsf@udel.edu> (raw)
In-Reply-To: <578801A0.4040306@gmail.com> ("Clément Pit--Claudel"'s message of "Thu, 14 Jul 2016 23:18:24 +0200")
Clément Pit--Claudel <clement.pit@gmail.com> 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.
next prev parent reply other threads:[~2016-07-14 22:31 UTC|newest]
Thread overview: 32+ messages / expand[flat|nested] mbox.gz Atom feed top
2016-07-10 4:44 ¬ notation for not? Ref: Add a couple cells to lisp-prettify-symbols-alist Kaushal Modi
2016-07-10 5:24 ` Mark Oteiza
2016-07-10 5:47 ` Mark Oteiza
2016-07-10 13:31 ` Andreas Röhler
2016-07-10 14:57 ` Eli Zaretskii
2016-07-10 14:35 ` Clément Pit--Claudel
2016-07-10 15:05 ` Stefan Monnier
2016-07-10 14:44 ` Stefan Monnier
2016-07-10 14:57 ` Clément Pit--Claudel
2016-07-10 15:04 ` Drew Adams
2016-07-10 15:20 ` Mark Oteiza
2016-07-10 21:05 ` Stefan Monnier
2016-07-11 13:35 ` Ted Zlatanov
2016-07-11 14:01 ` Stefan Monnier
2016-07-14 21:18 ` Clément Pit--Claudel
2016-07-14 21:32 ` John Wiegley
2016-07-14 22:31 ` Mark Oteiza [this message]
2016-07-14 22:36 ` Kaushal Modi
2016-07-15 0:20 ` Stefan Monnier
2016-07-15 14:12 ` Ted Zlatanov
2016-07-15 14:46 ` Drew Adams
2016-07-15 15:13 ` visual distinction for prettified symbols (was: ¬ notation for not? Ref: Add a couple cells to lisp-prettify-symbols-alist) Ted Zlatanov
2016-07-15 16:14 ` ¬ notation for not? Ref: Add a couple cells to lisp-prettify-symbols-alist Drew Adams
2016-07-15 14:50 ` Stefan Monnier
2016-07-15 15:03 ` Ted Zlatanov
2016-07-15 15:17 ` Stefan Monnier
2016-07-15 15:35 ` Ted Zlatanov
2016-07-17 18:31 ` Stefan Monnier
2016-07-18 14:12 ` Ted Zlatanov
2016-07-18 15:07 ` Stefan Monnier
2016-07-18 16:49 ` Ted Zlatanov
2016-07-15 15:26 ` Ted Zlatanov
Reply instructions:
You may reply publicly to this message via plain-text email
using any one of the following methods:
* Save the following mbox file, import it into your mail client,
and reply-to-all from there: mbox
Avoid top-posting and favor interleaved quoting:
https://en.wikipedia.org/wiki/Posting_style#Interleaved_style
* Reply using the --to, --cc, and --in-reply-to
switches of git-send-email(1):
git send-email \
--in-reply-to=87oa5zx35d.fsf@udel.edu \
--to=mvoteiza@udel.edu \
--cc=clement.pit@gmail.com \
--cc=emacs-devel@gnu.org \
--cc=kaushal.modi@gmail.com \
--cc=monnier@iro.umontreal.ca \
/path/to/YOUR_REPLY
https://kernel.org/pub/software/scm/git/docs/git-send-email.html
* If your mail client supports setting the In-Reply-To header
via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line
before the message body.
Code repositories for project(s) associated with this external index
https://git.savannah.gnu.org/cgit/emacs.git
https://git.savannah.gnu.org/cgit/emacs/org-mode.git
This is an external index of several public inboxes,
see mirroring instructions on how to clone and mirror
all data and code used by this external index.