From unknown Sat Aug 16 22:00:15 2025 Content-Disposition: inline Content-Transfer-Encoding: quoted-printable MIME-Version: 1.0 X-Mailer: MIME-tools 5.509 (Entity 5.509) Content-Type: text/plain; charset=utf-8 From: bug#24302 <24302@debbugs.gnu.org> To: bug#24302 <24302@debbugs.gnu.org> Subject: Status: TeX input method: wrong binding for \longrightarrow etc. Reply-To: bug#24302 <24302@debbugs.gnu.org> Date: Sun, 17 Aug 2025 05:00:15 +0000 retitle 24302 TeX input method: wrong binding for \longrightarrow etc. reassign 24302 emacs submitter 24302 andreas.abel@gu.se severity 24302 minor tag 24302 fixed thanks From debbugs-submit-bounces@debbugs.gnu.org Wed Aug 24 15:30:43 2016 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 To: From: Andreas Abel Subject: TeX input method: wrong binding for \longrightarrow etc. 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-Debbugs-Envelope-To: submit 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: , Reply-To: andreas.abel@gu.se 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 debbugs-submit-bounces@debbugs.gnu.org Sat Jul 27 10:55:57 2019 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 To: Andreas Abel Subject: Re: bug#24302: TeX input method: wrong binding for \longrightarrow etc. 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: ⟶ (displayed as ⟶) (codepoint 10230, #o23766, #x27f6) > > However, it produces > > character: → ( [...] 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: 24302 Cc: 24302@debbugs.gnu.org, andreas.abel@gu.se 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 From unknown Sat Aug 16 22:00:15 2025 Received: (at fakecontrol) by fakecontrolmessage; To: internal_control@debbugs.gnu.org From: Debbugs Internal Request Subject: Internal Control Message-Id: bug archived. Date: Sun, 25 Aug 2019 11:24:05 +0000 User-Agent: Fakemail v42.6.9 # This is a fake control message. # # The action: # bug archived. thanks # This fakemail brought to you by your local debbugs # administrator