From mboxrd@z Thu Jan 1 00:00:00 1970 Path: news.gmane.org!not-for-mail From: David Kastrup Newsgroups: gmane.emacs.devel Subject: Re: port x-symbol to GNU emacs 24. Date: Fri, 21 Aug 2015 11:51:48 +0200 Message-ID: <878u9555qj.fsf@fencepost.gnu.org> References: <87oaia6ict.fsf@mat.ucm.es> <837foxor1t.fsf@gnu.org> <878u9d7vdg.fsf@mat.ucm.es> <87pp2pq2ht.fsf@gnu.org> <87wpwx68cn.fsf@mat.ucm.es> <87mvxqxtif.fsf@gnu.org> <838u9alzly.fsf@gnu.org> <874mjyaqm8.fsf@fencepost.gnu.org> <87d1yl2dq9.fsf@gnu.org> <87r3mz91h2.fsf@gnu.org> <87wpwrcd4n.fsf@gnu.org> <87r3mxb1qc.fsf@gnu.org> <87h9nt5cds.fsf@fencepost.gnu.org> <87egixav48.fsf@gnu.org> 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 1440161593 20570 80.91.229.3 (21 Aug 2015 12:53:13 GMT) X-Complaints-To: usenet@ger.gmane.org NNTP-Posting-Date: Fri, 21 Aug 2015 12:53:13 +0000 (UTC) Cc: Eli Zaretskii , emacs-devel@gnu.org To: Stefan Monnier Original-X-From: emacs-devel-bounces+ged-emacs-devel=m.gmane.org@gnu.org Fri Aug 21 14:53:12 2015 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 1ZSlok-0000hM-Ok for ged-emacs-devel@m.gmane.org; Fri, 21 Aug 2015 14:53:10 +0200 Original-Received: from localhost ([::1]:41365 helo=lists.gnu.org) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1ZSlok-0005GU-2V for ged-emacs-devel@m.gmane.org; Fri, 21 Aug 2015 08:53:10 -0400 Original-Received: from eggs.gnu.org ([2001:4830:134:3::10]:58618) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1ZSloQ-0005FN-OD for emacs-devel@gnu.org; Fri, 21 Aug 2015 08:52:54 -0400 Original-Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1ZSloP-0008FF-UN for emacs-devel@gnu.org; Fri, 21 Aug 2015 08:52:50 -0400 Original-Received: from fencepost.gnu.org ([2001:4830:134:3::e]:46471) by eggs.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1ZSloP-0008F8-Rf; Fri, 21 Aug 2015 08:52:49 -0400 Original-Received: from localhost ([127.0.0.1]:60289 helo=lola) by fencepost.gnu.org with esmtp (Exim 4.82) (envelope-from ) id 1ZSloO-0000SX-Uc; Fri, 21 Aug 2015 08:52:49 -0400 Original-Received: by lola (Postfix, from userid 1000) id ADCC1E10DF; Fri, 21 Aug 2015 11:51:48 +0200 (CEST) In-Reply-To: <87egixav48.fsf@gnu.org> (Tassilo Horn's message of "Fri, 21 Aug 2015 10:44:39 +0200") User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/25.0.50 (gnu/linux) X-detected-operating-system: by eggs.gnu.org: Error: Malformed IPv6 address (bad octet value). X-Received-From: 2001:4830:134:3::e X-BeenThere: emacs-devel@gnu.org X-Mailman-Version: 2.1.14 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-bounces+ged-emacs-devel=m.gmane.org@gnu.org Xref: news.gmane.org gmane.emacs.devel:189037 Archived-At: Tassilo Horn writes: > David Kastrup writes: > >>>>> It doesn't compose \alpha2 so that's already handled correctly, no? >>>> >>>> No, IMHO, it should appear as =CE=B12. >>> >>> In theory, yes. Unless the document uses expl3 or the user plays with >>> catcodes and then this could be one valid single macro. So I'd rather >>> rely on having some non-word character in between. >> >> There is quite a lot of math around that does not bother with spurious >> spaces. > > Yes, right. So now \alpha2 is indeed displayed as =CE=B12 with > prettify-symbols-mode. > > Do you have any idea how to get $\alpha$ working also with AUCTeX's > font-latex.el where $ are treated as string quotes? No, font-latex and font lock in general is out of my depth. --=20 David Kastrup