From mboxrd@z Thu Jan 1 00:00:00 1970 Path: news.gmane.org!not-for-mail From: Mark Oteiza Newsgroups: gmane.emacs.devel Subject: Re: =?iso-8859-1?Q?=AC_notation_for_not?= =?iso-8859-1?Q?=3F?= Ref: Add a couple cells to lisp-prettify-symbols-alist Date: Sun, 10 Jul 2016 01:24:04 -0400 Message-ID: <20160710052404.GA28783@holos.localdomain> References: NNTP-Posting-Host: plane.gmane.org Mime-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: 8bit X-Trace: ger.gmane.org 1468128269 11648 80.91.229.3 (10 Jul 2016 05:24:29 GMT) X-Complaints-To: usenet@ger.gmane.org NNTP-Posting-Date: Sun, 10 Jul 2016 05:24:29 +0000 (UTC) Cc: emacs-devel@gnu.org To: Kaushal Modi Original-X-From: emacs-devel-bounces+ged-emacs-devel=m.gmane.org@gnu.org Sun Jul 10 07:24:20 2016 Return-path: Envelope-to: ged-emacs-devel@m.gmane.org Original-Received: from lists.gnu.org ([208.118.235.17]) by plane.gmane.org with esmtp (Exim 4.69) (envelope-from ) id 1bM7E4-0000eh-Hu for ged-emacs-devel@m.gmane.org; Sun, 10 Jul 2016 07:24:20 +0200 Original-Received: from localhost ([::1]:53455 helo=lists.gnu.org) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1bM7E3-0004o1-Sc for ged-emacs-devel@m.gmane.org; Sun, 10 Jul 2016 01:24:19 -0400 Original-Received: from eggs.gnu.org ([2001:4830:134:3::10]:44091) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1bM7Dx-0004nu-Dj for emacs-devel@gnu.org; Sun, 10 Jul 2016 01:24:14 -0400 Original-Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1bM7Ds-0001rD-Hz for emacs-devel@gnu.org; Sun, 10 Jul 2016 01:24:12 -0400 Original-Received: from mail-qt0-x235.google.com ([2607:f8b0:400d:c0d::235]:36408) by eggs.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1bM7Ds-0001qE-C1 for emacs-devel@gnu.org; Sun, 10 Jul 2016 01:24:08 -0400 Original-Received: by mail-qt0-x235.google.com with SMTP id k35so14323545qtc.3 for ; Sat, 09 Jul 2016 22:24:06 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=udel-edu.20150623.gappssmtp.com; s=20150623; h=date:from:to:cc:subject:message-id:references:mime-version :content-disposition:content-transfer-encoding:in-reply-to :user-agent; bh=60Bzjd4zKvXHA5KIV32Ei4iMzDH47px3VcuhorWacuA=; b=dbiqYvo5YX5rzXlkBzf1Q1CTLattX12dx2PC8w86j+sXGMQDAcIK3DrhT3x0AIudrS IzYIyRS2fF5F+OlTtW0Sl3LFQOl5STsfQAB91OLHj7OjiSwp44k5AYgb5MT+Za3cmPG6 sM843SNmaRlvgJRWFSf69MUM6FcXy+NQdBfb8Jxqs5dEiUNeFe+DprPNLEBKECzgGFub KdaHcbhIbIhObmh6HV5S+jiD2wkr2ubztyTp3HdsEOcDdwi5juBQetWGMlzAh3LAWUsk PYRFeEuEjHCTcWwBVSY3bmmNUrVVNhTaZCoHGEwrYXS5mDjVGW1hjy3s1BFIWA89/zGY cv9A== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20130820; h=x-gm-message-state:date:from:to:cc:subject:message-id:references :mime-version:content-disposition:content-transfer-encoding :in-reply-to:user-agent; bh=60Bzjd4zKvXHA5KIV32Ei4iMzDH47px3VcuhorWacuA=; b=EBHEIrcPsln72QAIoCGTd4+I245iFQXnmboSle1NQbiRxCW+3qvr8uiJKbM75YvUdA WeljszI1IPjWnLrjLYXNUVaBlxpr5bKgiyIwvCheiE6Q7APw1YELa6NefNun5DpPleOg srvvJSjuCWGwugogzHzdqxkUecrCzFfLvYMyCqBIlw7X+SiGFa6y8VTxRTWwdPfLHueX ManCsDJ4Oh0tEghmwzwZshtDb40X5fd+173cIoucUCKihH4YlN8hZqi8lg8t4LUux7+b T5V/s9oEOH/89oj6DkyVjqARhyJLBSTgpExkIaYnBH3nBJTZLbs0fIE9oWGhL/6cSaNX qf6A== X-Gm-Message-State: ALyK8tKHbLbjYSWu40eF8rOup2JdCCpcVI3z1Fx5LzpR+RwXlBfqO1/Y8cKOuCy2udQZCQN+ X-Received: by 10.200.41.163 with SMTP id 32mr20925436qts.101.1468128246316; Sat, 09 Jul 2016 22:24:06 -0700 (PDT) Original-Received: from holos.localdomain (ip68-100-200-121.dc.dc.cox.net. [68.100.200.121]) by smtp.gmail.com with ESMTPSA id s127sm1204664qkb.17.2016.07.09.22.24.05 (version=TLS1_2 cipher=ECDHE-RSA-AES128-GCM-SHA256 bits=128/128); Sat, 09 Jul 2016 22:24:05 -0700 (PDT) Original-Received: by holos.localdomain (Postfix, from userid 1000) id AE4FA685B5; Sun, 10 Jul 2016 01:24:04 -0400 (EDT) Content-Disposition: inline In-Reply-To: User-Agent: Mutt/1.6.1+68 (bf1c73de2b7c) (2016-04-27) X-detected-operating-system: by eggs.gnu.org: GNU/Linux 2.2.x-3.x [generic] X-Received-From: 2607:f8b0:400d:c0d::235 X-BeenThere: emacs-devel@gnu.org X-Mailman-Version: 2.1.21 Precedence: list List-Id: "Emacs development discussions." List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: emacs-devel-bounces+ged-emacs-devel=m.gmane.org@gnu.org Original-Sender: "Emacs-devel" Xref: news.gmane.org gmane.emacs.devel:205484 Archived-At: 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.