From mboxrd@z Thu Jan 1 00:00:00 1970 Path: news.gmane.org!not-for-mail From: John Wiegley Newsgroups: gmane.emacs.devel Subject: Re: =?utf-8?Q?=C2=AC?= notation for not? Ref: Add a couple cells to lisp-prettify-symbols-alist Date: Thu, 14 Jul 2016 14:32:07 -0700 Message-ID: References: <578801A0.4040306@gmail.com> NNTP-Posting-Host: plane.gmane.org Mime-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: quoted-printable X-Trace: ger.gmane.org 1468532020 11012 80.91.229.3 (14 Jul 2016 21:33:40 GMT) X-Complaints-To: usenet@ger.gmane.org NNTP-Posting-Date: Thu, 14 Jul 2016 21:33:40 +0000 (UTC) Cc: Stefan Monnier , emacs-devel@gnu.org To: =?utf-8?Q?Cl=C3=A9ment?= Pit--Claudel Original-X-From: emacs-devel-bounces+ged-emacs-devel=m.gmane.org@gnu.org Thu Jul 14 23:33:31 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 1bNoGB-0003u3-82 for ged-emacs-devel@m.gmane.org; Thu, 14 Jul 2016 23:33:31 +0200 Original-Received: from localhost ([::1]:57118 helo=lists.gnu.org) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1bNoGA-000471-9l for ged-emacs-devel@m.gmane.org; Thu, 14 Jul 2016 17:33:30 -0400 Original-Received: from eggs.gnu.org ([2001:4830:134:3::10]:36485) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1bNoFO-00045I-BV for emacs-devel@gnu.org; Thu, 14 Jul 2016 17:32:43 -0400 Original-Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1bNoFI-000875-8D for emacs-devel@gnu.org; Thu, 14 Jul 2016 17:32:41 -0400 Original-Received: from mail-pa0-x236.google.com ([2607:f8b0:400e:c03::236]:35323) by eggs.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1bNoFI-00086t-0f for emacs-devel@gnu.org; Thu, 14 Jul 2016 17:32:36 -0400 Original-Received: by mail-pa0-x236.google.com with SMTP id dx3so32316826pab.2 for ; Thu, 14 Jul 2016 14:32:35 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20120113; h=from:to:cc:subject:in-reply-to:date:message-id:references :user-agent:mail-followup-to:mime-version:content-transfer-encoding; bh=1x9oNBSHhqwhipeGv8oZH1ROEYJIiYHOOxbI/tuEs64=; b=DsUn+XW3jGTPdO8hXZr2b5GCQCb+8RqInGIBXlJpyxUBu4zd8W6eRtpi1NQPPdGbaD MpXg9ZpVDYeSv/mv/IJ3jFsm+r761j0YhcIjFmaFrzgCTUT7Iz3SVRooSPSuj3uTfOq1 YF7lJx7VCRoxFffrCu7Hz45GS3RbX35tWUcKv/PPY7RUoiWTnrqHz3prLuM/r4qlxMqv gUh0EbmkLEmYYVGBPOEOEIo66S2ih5iJrzh1U6BF+yHYLmsEPYiZsUwrqA/acK2k9xXY 9Qc9YbD86kFpARk7Jw0vXLYpWS9z0EO+KZDRR7Mg2PsGkWYMrycLWdpueqPKn1RZaTzr VM/g== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20130820; h=x-gm-message-state:from:to:cc:subject:in-reply-to:date:message-id :references:user-agent:mail-followup-to:mime-version :content-transfer-encoding; bh=1x9oNBSHhqwhipeGv8oZH1ROEYJIiYHOOxbI/tuEs64=; b=iUxy1K04VMGmvYGdiwHLOYo208HxJNJ3dY7FWGI0qdrthUMpBqtq38Yx7ddpGzWAFj Kk75kDdoSxTpIaDu8iJ1mzAumC1BSkKzaYDi1ruESmCH9PqVjS/qOnJXC0leYti4Xrp6 lgZQ7fw0lpXC6o2axzxSbweA3zrySoDy55hdYWkQTeravxTxvOl7Y+8GVeqxu1dnsX8p WQHOCoEtk2f84IVG/tn3fTFy790ZtLdReNQ0HBPZMlJQ+TfemTxme2HrpHYlFQM+RpDb vpD1ppTSModmYo2XpgEmoOTr6xskA1VI1nVGUugykrljqC4RQA1Mvh4GYm9UBQI6uG9m qlJw== X-Gm-Message-State: ALyK8tKa0zCLNdJNRp4jTBpDrX9rhpe1E0NHKqBb8pjlZPTZ7WnDxauAmUUiKEYBlZX5tQ== X-Received: by 10.66.80.2 with SMTP id n2mr26093555pax.134.1468531954771; Thu, 14 Jul 2016 14:32:34 -0700 (PDT) Original-Received: from Vulcan.local (76-234-68-79.lightspeed.frokca.sbcglobal.net. [76.234.68.79]) by smtp.gmail.com with ESMTPSA id e126sm6600251pfc.5.2016.07.14.14.32.32 (version=TLS1 cipher=AES128-SHA bits=128/128); Thu, 14 Jul 2016 14:32:33 -0700 (PDT) X-Google-Original-From: "John Wiegley" Original-Received: by Vulcan.local (Postfix, from userid 501) id 146C41716E1C; Thu, 14 Jul 2016 14:32:32 -0700 (PDT) In-Reply-To: <578801A0.4040306@gmail.com> (=?utf-8?Q?=22Cl=C3=A9ment?= Pit--Claudel"'s message of "Thu, 14 Jul 2016 23:18:24 +0200") User-Agent: Gnus/5.130014 (Ma Gnus v0.14) Emacs/25.0.95 (darwin) Mail-Followup-To: =?utf-8?Q?Cl=C3=A9ment?= Pit--Claudel , emacs-devel@gnu.org, Stefan Monnier X-detected-operating-system: by eggs.gnu.org: GNU/Linux 2.2.x-3.x [generic] X-Received-From: 2607:f8b0:400e:c03::236 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:205685 Archived-At: >>>>> "CP" =3D=3D Cl=C3=A9ment Pit--Claudel writes: CP> I use =C2=AC pretty commonly at work, but I'm not sure how well it work= s for CP> Lisp: =C2=AC is a logical not, but lisp's =E2=80=98not=E2=80=99 is a bi= t more general (=C2=AC t) CP> looks quite fine, but (=C2=AC 1) looks like a type error to me, whereas= (not 1) CP> is fine :) I agree with Cl=C3=A9ment on this point. --=20 John Wiegley GPG fingerprint =3D 4710 CF98 AF9B 327B B80F http://newartisans.com 60E1 46C4 BD1A 7AC1 4BA2