From mboxrd@z Thu Jan 1 00:00:00 1970 Path: news.gmane.org!not-for-mail From: =?UTF-8?Q?Cl=c3=a9ment_Pit--Claudel?= Newsgroups: gmane.emacs.devel Subject: =?UTF-8?Q?Re:_=c2=ac_notation_for_not=3f_Ref:_Add_a_couple_cells_to?= =?UTF-8?Q?_lisp-prettify-symbols-alist?= Date: Thu, 14 Jul 2016 23:18:24 +0200 Message-ID: <578801A0.4040306@gmail.com> References: NNTP-Posting-Host: plane.gmane.org Mime-Version: 1.0 Content-Type: multipart/signed; micalg=pgp-sha256; protocol="application/pgp-signature"; boundary="bnhvcoumgKM0fC9CeO2RitjjqNK4h3wjT" X-Trace: ger.gmane.org 1468531139 30303 80.91.229.3 (14 Jul 2016 21:18:59 GMT) X-Complaints-To: usenet@ger.gmane.org NNTP-Posting-Date: Thu, 14 Jul 2016 21:18:59 +0000 (UTC) Cc: Stefan Monnier To: emacs-devel@gnu.org Original-X-From: emacs-devel-bounces+ged-emacs-devel=m.gmane.org@gnu.org Thu Jul 14 23:18:42 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 1bNo1m-0001Bv-Nx for ged-emacs-devel@m.gmane.org; Thu, 14 Jul 2016 23:18:38 +0200 Original-Received: from localhost ([::1]:57071 helo=lists.gnu.org) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1bNo1m-0001Te-2F for ged-emacs-devel@m.gmane.org; Thu, 14 Jul 2016 17:18:38 -0400 Original-Received: from eggs.gnu.org ([2001:4830:134:3::10]:33180) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1bNo1g-0001ON-3Q for emacs-devel@gnu.org; Thu, 14 Jul 2016 17:18:33 -0400 Original-Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1bNo1c-0004xR-Ru for emacs-devel@gnu.org; Thu, 14 Jul 2016 17:18:32 -0400 Original-Received: from mout.kundenserver.de ([212.227.126.135]:53872) by eggs.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1bNo1c-0004xI-H5 for emacs-devel@gnu.org; Thu, 14 Jul 2016 17:18:28 -0400 Original-Received: from [192.168.1.82] ([109.24.225.43]) by mrelayeu.kundenserver.de (mreue004) with ESMTPSA (Nemesis) id 0LmPYc-1apIUF2I5K-00a07t; Thu, 14 Jul 2016 23:18:25 +0200 User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:38.0) Gecko/20100101 Thunderbird/38.8.0 In-Reply-To: X-Provags-ID: V03:K0:RhQjfoHv0n5vuQ6OxSWsOo7kW4kWavdcw8bAO4B15hA+BIBYDv5 3QUD+6Aeb5CUqsbg1XnfPhM11vHEA+BhagWwTb36ann90eRPpBIsgw1Knqo54bhjvgYyu1e OGKPfrcrI7bLlWtFBu13/UVLNcL7JE5Q2kgNW9Lj0+pYp54gK90+9OcDu872eSLOM35v6gZ uyWlj3nDVJ9w+HeNlqbeQ== X-UI-Out-Filterresults: notjunk:1;V01:K0:HlP6GhUVbZg=:XTywL9u+FTJCuUnCITCg9Y +xYKWSAMNvuDwpLMIoxgHKIRoPETecDnqeRjJIzQst3elzsHmCqJpfuUwdxM1IXDj9MbyUWEO b5SoUFvvR/Jn4WyfhXl3LuFNfN+jNQZyGnwGu6IeXrjRdvaE8MncxdrGXw5rqRW/sv1l04zbZ BFy1Ub2p1CkAXk/0m6TMvXETnf8JhvUf4Q3uyVm1EOPPNBzT64rNiZGMgZyGfCHJyJw3AMiMi Yyof+ZPYv26sZzl9ODJaab4QhkhVbH4awOTMkNRJvUlySV9a86I69lZT6kkmc1RXD6ibCcX3t hpkgqDA5KZD5f8oF21okcEM0vQG89OZJj72Lkz+ZFTbIItu7LG9IZCx4Ze51M49WqdWWY455U UPUEHZdec027DelmDXrV2h5fYrmEmj42QSJ8MgdBMWs6z5kVz+fTerXGDj5HDfUaR68C2aCAa SBazrQOv4AiS3SzW6TlUH8ZZkuwThFuenQlRLmRyhOqCx+w8MC1hscmmq/l4mbzGg2KbNJAVW h7O80pRpZGEA4rbHB1y460GSkdQ4Ht38AplJSvyrYFwxDuacK0CAmK8OCCgCKKQ+M2TciuqP2 wsq/iMU4JoM/JXt8+XyTurQQ+Jlaqy9N+Rc6h6D9c9Ny4r7JM9bGKtgkX18ZvJ30BlsqG9KGO cPyCp8gX7mLMY6N6xRTAnUgzl7UUd61e2Byy0zEQJgjayXYhpEfCjs/CR/m29XqIRua0= X-detected-operating-system: by eggs.gnu.org: GNU/Linux 2.2.x-3.x [generic] X-Received-From: 212.227.126.135 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:205682 Archived-At: This is an OpenPGP/MIME signed message (RFC 4880 and 3156) --bnhvcoumgKM0fC9CeO2RitjjqNK4h3wjT Content-Type: multipart/mixed; boundary="EKsJOBxCU6uoT8cduLewWFnBbLVUSht55" From: =?UTF-8?Q?Cl=c3=a9ment_Pit--Claudel?= To: emacs-devel@gnu.org Cc: Stefan Monnier Message-ID: <578801A0.4040306@gmail.com> Subject: =?UTF-8?Q?Re:_=c2=ac_notation_for_not=3f_Ref:_Add_a_couple_cells_to?= =?UTF-8?Q?_lisp-prettify-symbols-alist?= References: In-Reply-To: --EKsJOBxCU6uoT8cduLewWFnBbLVUSht55 Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: quoted-printable 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 =C2=AC pretty commonly at work, but I'm not sure how well it works = for Lisp: =C2=AC is a logical not, but lisp's =E2=80=98not=E2=80=99 is a = bit more general (=C2=AC t) looks quite fine, but (=C2=AC 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 OCam= l? In any case, I'd vote in favor of reverting, and adding a suggestion to t= he docstring. Cl=C3=A9ment. --EKsJOBxCU6uoT8cduLewWFnBbLVUSht55-- --bnhvcoumgKM0fC9CeO2RitjjqNK4h3wjT Content-Type: application/pgp-signature; name="signature.asc" Content-Description: OpenPGP digital signature Content-Disposition: attachment; filename="signature.asc" -----BEGIN PGP SIGNATURE----- Version: GnuPG v2 iQIcBAEBCAAGBQJXiAGgAAoJEPqg+cTm90wjNW4QAKJC9/jzhLVlgP3CLDzQNUrx 9Mza9cnLBp7W/5Ost/s+bod6lSxGeFCcUh2kLUnHsI5t/AtQa1iEGtF92oiBolPe J62QYKJjZbvBdP0eb8R9uLsHpldI6yaZru9G5hoInhVmqgfx+p247K9OGqcgaFcW jpDdqnD/+EdYpXbuAV9v16g1rNINExPFmQ2GikelBaT5NiyV1ruWm4I530VdpEf/ Z/qH0AmkWUxP3klnJWIr9y7W4bqiiOqnk8twr8KCf1mXTzhsp8cvFs0X8QFxzxD/ IxzQrsDtak7ml/btBNFckQOf7IOFLuiWeWyv3FegVe6Rr/0DdrysMWCWZwmROxwP ox0QMp+lh6DnURn8Ii8MaxlE9iaXRsNt1RAnn0TjGhU1l13r/UmgVI6GWmMiD1Gd bfAVSY3MLAI0tij8vxEtUmn+2Fsw5VZ5zIGKDaz5U/rROR7NTZX3+GY2B4HV7s/F HRbWyd7wym5cP/vociEy1CfTDVUEVz1qVAZPp0DlXoD0z0VMGS2WxPWiEkhn8M57 Cs4FFqtOALqa4YQmTWLtH17+XZMRQGwQcM6N5FObIisuhVOr3e0LuOSTzUfaX4z1 LyHmg4P187pkCouG6UyshtEGWn8R0zQvBH/cT8AeCgrF72tQeu0mUc+uWd9ruTsC 1W3hIu7lShZ6+XWIrsJq =kRPB -----END PGP SIGNATURE----- --bnhvcoumgKM0fC9CeO2RitjjqNK4h3wjT--