From unknown Sat Aug 16 22:47:16 2025 X-Loop: help-debbugs@gnu.org Subject: bug#24302: TeX input method: wrong binding for \longrightarrow etc. Resent-From: Andreas Abel Original-Sender: "Debbugs-submit" Resent-CC: bug-gnu-emacs@gnu.org Resent-Date: Wed, 24 Aug 2016 19:31:02 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: report 24302 X-GNU-PR-Package: emacs X-GNU-PR-Keywords: To: 24302@debbugs.gnu.org X-Debbugs-Original-To: Reply-To: andreas.abel@gu.se Received: via spool by submit@debbugs.gnu.org id=B.14720670438890 (code B ref -1); Wed, 24 Aug 2016 19:31:02 +0000 Received: (at submit) by debbugs.gnu.org; 24 Aug 2016 19:30:43 +0000 Received: from localhost ([127.0.0.1]:39365 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1bcdsp-0002JJ-Ah for submit@debbugs.gnu.org; Wed, 24 Aug 2016 15:30:43 -0400 Received: from eggs.gnu.org ([208.118.235.92]:50137) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1bcdcK-0001tQ-Cc for submit@debbugs.gnu.org; Wed, 24 Aug 2016 15:13:41 -0400 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1bcdcE-0005Y1-Bp for submit@debbugs.gnu.org; Wed, 24 Aug 2016 15:13:35 -0400 X-Spam-Checker-Version: SpamAssassin 3.3.2 (2011-06-06) on eggs.gnu.org X-Spam-Level: *** X-Spam-Status: No, score=3.3 required=5.0 tests=BAYES_50, RECEIVED_FROM_WINDOWS_HOST autolearn=disabled version=3.3.2 Received: from lists.gnu.org ([2001:4830:134:3::11]:55283) by eggs.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1bcdcE-0005XC-90 for submit@debbugs.gnu.org; Wed, 24 Aug 2016 15:13:34 -0400 Received: from eggs.gnu.org ([2001:4830:134:3::10]:41106) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1bcdcC-0007Md-4d for bug-gnu-emacs@gnu.org; Wed, 24 Aug 2016 15:13:33 -0400 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1bcdc8-0005Vq-TE for bug-gnu-emacs@gnu.org; Wed, 24 Aug 2016 15:13:32 -0400 Received: from targaryen.ita.chalmers.se ([129.16.226.133]:16709) by eggs.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1bcdc8-0005SW-Lu for bug-gnu-emacs@gnu.org; Wed, 24 Aug 2016 15:13:28 -0400 Received: from [192.168.1.83] (129.16.10.245) by targaryen.ita.chalmers.se (129.16.226.133) with Microsoft SMTP Server (TLS) id 15.1.396.30; Wed, 24 Aug 2016 20:43:13 +0200 From: Andreas Abel Message-ID: Date: Wed, 24 Aug 2016 20:43:11 +0200 User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:45.0) Gecko/20100101 Thunderbird/45.2.0 MIME-Version: 1.0 Content-Type: text/plain; charset="utf-8"; format=flowed Content-Transfer-Encoding: quoted-printable X-Originating-IP: [129.16.10.245] X-ClientProxiedBy: baratheon.ita.chalmers.se (129.16.226.136) To targaryen.ita.chalmers.se (129.16.226.133) X-detected-operating-system: by eggs.gnu.org: Windows 7 or 8 [fuzzy] X-detected-operating-system: by eggs.gnu.org: GNU/Linux 2.6.x X-Received-From: 2001:4830:134:3::11 X-Spam-Score: -5.0 (-----) X-Mailman-Approved-At: Wed, 24 Aug 2016 15:30:41 -0400 X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: debbugs-submit-bounces@debbugs.gnu.org Sender: "Debbugs-submit" X-Spam-Score: -5.0 (-----) See https://github.com/agda/agda/issues/1376 \longrightarrow should bind to character: =E2=9F=B6 (displayed as =E2=9F=B6) (codepoint 10230, #o23766,= #x27f6) However, it produces character: =E2=86=92 (displayed as =E2=86=92) (codepoint 8594, #o20622, = #x2192) which is a short arrow. I guess the other \long...arrow bindings should also be fixed. Best, Andreas --=20 Andreas Abel <>< Du bist der geliebte Mensch. Department of Computer Science and Engineering Chalmers and Gothenburg University, Sweden andreas.abel@gu.se http://www2.tcs.ifi.lmu.de/~abel/ From unknown Sat Aug 16 22:47:16 2025 X-Loop: help-debbugs@gnu.org Subject: bug#24302: TeX input method: wrong binding for \longrightarrow etc. Resent-From: Lars Ingebrigtsen Original-Sender: "Debbugs-submit" Resent-CC: bug-gnu-emacs@gnu.org Resent-Date: Sat, 27 Jul 2019 14:56:01 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: followup 24302 X-GNU-PR-Package: emacs X-GNU-PR-Keywords: To: Andreas Abel Cc: 24302@debbugs.gnu.org, andreas.abel@gu.se Received: via spool by 24302-submit@debbugs.gnu.org id=B24302.15642393574880 (code B ref 24302); Sat, 27 Jul 2019 14:56:01 +0000 Received: (at 24302) by debbugs.gnu.org; 27 Jul 2019 14:55:57 +0000 Received: from localhost ([127.0.0.1]:45163 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1hrO72-0001Ge-UV for submit@debbugs.gnu.org; Sat, 27 Jul 2019 10:55:57 -0400 Received: from quimby.gnus.org ([80.91.231.51]:40102) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1hrO71-0001GU-5E for 24302@debbugs.gnu.org; Sat, 27 Jul 2019 10:55:55 -0400 Received: from cm-84.212.202.86.getinternet.no ([84.212.202.86] helo=marnie) by quimby.gnus.org with esmtpsa (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.89) (envelope-from ) id 1hrO6y-0001rL-42; Sat, 27 Jul 2019 16:55:54 +0200 From: Lars Ingebrigtsen References: Date: Sat, 27 Jul 2019 16:55:51 +0200 In-Reply-To: (Andreas Abel's message of "Wed, 24 Aug 2016 20:43:11 +0200") Message-ID: <87ftmrfrwo.fsf@mouse.gnus.org> User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/27.0.50 (gnu/linux) MIME-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: quoted-printable X-Spam-Report: Spam detection software, running on the system "quimby.gnus.org", has NOT identified this incoming email as spam. The original message has been attached to this so you can view it or label similar future email. If you have any questions, see @@CONTACT_ADDRESS@@ for details. Content preview: Andreas Abel writes: > See https://github.com/agda/agda/issues/1376 > > \longrightarrow should bind to > > character: =?UTF-8?Q?=E2=9F=B6?= (displayed as =?UTF-8?Q?=E2=9F=B6?=) (codepoint 10230, #o23766, #x27f6) > > However, it produces > > character: =?UTF-8?Q?=E2=86=92?= ( [...] Content analysis details: (-2.9 points, 5.0 required) pts rule name description ---- ---------------------- -------------------------------------------------- -1.0 ALL_TRUSTED Passed through trusted hosts only via SMTP -1.9 BAYES_00 BODY: Bayes spam probability is 0 to 1% [score: 0.0000] X-Spam-Score: 0.0 (/) X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: debbugs-submit-bounces@debbugs.gnu.org Sender: "Debbugs-submit" X-Spam-Score: -1.0 (-) Andreas Abel writes: > See https://github.com/agda/agda/issues/1376 > > \longrightarrow should bind to > > character: =E2=9F=B6 (displayed as =E2=9F=B6) (codepoint 10230, #o23766= , #x27f6) > > However, it produces > > character: =E2=86=92 (displayed as =E2=86=92) (codepoint 8594, #o20622,= #x2192) > > which is a short arrow. > > I guess the other \long...arrow bindings should also be fixed. Yup; I've now done this for Emacs 27. --=20 (domestic pets only, the antidote for overdose, milk.) bloggy blog: http://lars.ingebrigtsen.no From debbugs-submit-bounces@debbugs.gnu.org Sat Jul 27 10:56:05 2019 Received: (at control) by debbugs.gnu.org; 27 Jul 2019 14:56:05 +0000 Received: from localhost ([127.0.0.1]:45167 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1hrO79-0001HX-6I for submit@debbugs.gnu.org; Sat, 27 Jul 2019 10:56:04 -0400 Received: from quimby.gnus.org ([80.91.231.51]:40120) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1hrO77-0001H5-Ll for control@debbugs.gnu.org; Sat, 27 Jul 2019 10:56:02 -0400 Received: from cm-84.212.202.86.getinternet.no ([84.212.202.86] helo=marnie) by quimby.gnus.org with esmtpsa (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.89) (envelope-from ) id 1hrO75-0001rU-0n for control@debbugs.gnu.org; Sat, 27 Jul 2019 16:56:01 +0200 Date: Sat, 27 Jul 2019 16:55:58 +0200 Message-Id: <87ef2bfrwh.fsf@mouse.gnus.org> To: control@debbugs.gnu.org From: Lars Ingebrigtsen Subject: control message for bug #24302 X-Spam-Report: Spam detection software, running on the system "quimby.gnus.org", has NOT identified this incoming email as spam. The original message has been attached to this so you can view it or label similar future email. If you have any questions, see @@CONTACT_ADDRESS@@ for details. Content preview: tags 24302 fixed close 24302 27.1 quit Content analysis details: (-2.9 points, 5.0 required) pts rule name description ---- ---------------------- -------------------------------------------------- -1.0 ALL_TRUSTED Passed through trusted hosts only via SMTP -1.9 BAYES_00 BODY: Bayes spam probability is 0 to 1% [score: 0.0000] X-Spam-Score: 0.0 (/) X-Debbugs-Envelope-To: control X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: debbugs-submit-bounces@debbugs.gnu.org Sender: "Debbugs-submit" X-Spam-Score: -1.0 (-) tags 24302 fixed close 24302 27.1 quit