From mboxrd@z Thu Jan 1 00:00:00 1970 Path: news.gmane.org!not-for-mail From: =?UTF-8?Q?Andreas_R=c3=b6hler?= 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: Sun, 10 Jul 2016 15:31:56 +0200 Message-ID: <52190d8b-e3b2-55cd-f8ef-eba847bba707@online.de> References: <20160710052404.GA28783@holos.localdomain> <20160710054725.GA29331@holos.localdomain> NNTP-Posting-Host: plane.gmane.org Mime-Version: 1.0 Content-Type: text/plain; charset=utf-8; format=flowed Content-Transfer-Encoding: 8bit X-Trace: ger.gmane.org 1468157239 7492 80.91.229.3 (10 Jul 2016 13:27:19 GMT) X-Complaints-To: usenet@ger.gmane.org NNTP-Posting-Date: Sun, 10 Jul 2016 13:27:19 +0000 (UTC) To: emacs-devel@gnu.org Original-X-From: emacs-devel-bounces+ged-emacs-devel=m.gmane.org@gnu.org Sun Jul 10 15:27:11 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 1bMElK-0005GP-L0 for ged-emacs-devel@m.gmane.org; Sun, 10 Jul 2016 15:27:10 +0200 Original-Received: from localhost ([::1]:55225 helo=lists.gnu.org) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1bMElJ-0003zr-NO for ged-emacs-devel@m.gmane.org; Sun, 10 Jul 2016 09:27:09 -0400 Original-Received: from eggs.gnu.org ([2001:4830:134:3::10]:49584) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1bMElE-0003zj-Av for emacs-devel@gnu.org; Sun, 10 Jul 2016 09:27:05 -0400 Original-Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1bMElA-0002l9-5Z for emacs-devel@gnu.org; Sun, 10 Jul 2016 09:27:03 -0400 Original-Received: from mout.kundenserver.de ([212.227.17.10]:59920) by eggs.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1bMEl9-0002l4-Rm for emacs-devel@gnu.org; Sun, 10 Jul 2016 09:27:00 -0400 Original-Received: from [192.168.178.35] ([77.12.102.88]) by mrelayeu.kundenserver.de (mreue102) with ESMTPSA (Nemesis) id 0MRknR-1bp4Aq09U1-00SsfX for ; Sun, 10 Jul 2016 15:26:57 +0200 User-Agent: Mozilla/5.0 (X11; Linux i686; rv:45.0) Gecko/20100101 Icedove/45.1.0 In-Reply-To: <20160710054725.GA29331@holos.localdomain> X-Provags-ID: V03:K0:yP1M7FvATxNQz/ekP1P2JZQBeIHFJjBEDxRFbe+JMM1eWqtLjpZ GIrXsLXe0P+GpFL3l1iKBF/59amLLM+4zKmyXAIDoYaPyBdSKqjPZSey+g1gaCgcaVMx5Xy ox5Ue9pZDQRvOT/K0K8Jn7XG69Gs59k71Vep8pX20tUHckL+nepoWAn6v3Udm/h3Sp4S3rB vWmJqBP+McXYtr6fvlDCg== X-UI-Out-Filterresults: notjunk:1;V01:K0:2yufi+RR5lE=:RBR/MtZyMc6j/JzvT8UIXc RsPfchDkV7nrL9PvZRZz3JEKoDElCpayZEc7DNM+1Lz9DCdqtLXhAlIDt7bpfpmzCPibOulWF vZj0IAmYB5QGx8FcMl4653VkxJ/I2Q1TjTQyoe7cT9D9oiUDhaIvrGeN1MNy6fevSFQGiT5ss nuGanp1f8Z5TY9a0Mgxk5O9zurN4v2Zx8A7IMvqL9EHnMRiDxyvR3ttpZElkDK5VBIli2G61G AKhf1xeGtO44Rb/XoYbVo2YLzJKqR34oaEwrIvKc/6kIANhobg1w5q1cu86Fc6MK6w+vNxRL4 JO9U99MNOxnbFY5jGvJ6WAyJyYTJQnzLrIMHk32KdOYljtDg4ZIo7Cx3g8akQNf2Ar837dXNl SwHiOuQDSUflraX7V9NV9BQstFu9xfEiiki7aNSiBYLOL5DGcpggEj1FQ2ys3n6l9C4XMC1m0 e4cQWpTrm63DwXp2ki7kmx2W3VpN3QgL1MVnr5fjljel2cFzkRS/RSjaOTfnT/HCZhe24TIjv HWx0o0abwJ52pw4RaK0xdJU+8ZpG78vF1rwx5RcbMMFN6odLledJKYZfE/MUU6C8wb4mwZLYP SmF//UbBSVQQnt2gA/tggKiORv/uWFY7slhflTvEk8NgtHhrstvVbI0wjQY9wm0yipcmug+lP uiBEb0yRMDjlhv3x1jc4/kPo9YBXkWkHV/d0L9XMdQH1tBzuXDBw29LegDi4Jubp1Q5cv4bIu hRIkeas5mpFLbYAt X-detected-operating-system: by eggs.gnu.org: GNU/Linux 2.2.x-3.x [generic] X-Received-From: 212.227.17.10 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:205491 Archived-At: Hi Mark, while your initiative is appreciated, AFAIK these symbols are not that canonic. Implementing in core might draw subsequent requests suggesting the one or the other symbols instead, IMO keeping the pretty-print stuff in specialized packages is recommendable. Cheers, Andreas On 10.07.2016 07:47, Mark Oteiza wrote: > On 10/07/16 at 01:24am, Mark Oteiza wrote: >> One thing I just thought >> of is making a mode's foo-prettify-symbols-alist a defcustom--perhaps >> that will be nicer. > Not pretty, but an example: > > (defcustom my-prettify-symbols-alist > '(("lambda" . ?λ) > ("sqrt" . ?√) > ("not" . ?¬) > ("*" . ?×) > ("/" . ?÷)) > "foobar" > :group 'prettify-symbols > :type '(alist :key-type string :value-type character) > :options '("and" "or" "/=" > ("<=" (const :tag "≤" ?≤)) > (">=" (const :tag "≥" ?≥)))) >