GNU bug report logs -
#59476
Inconsistency in TeX input method: \ggg vs \Ll
Previous Next
Reported by: Michael Shulman <shulman <at> sandiego.edu>
Date: Tue, 22 Nov 2022 08:03:02 UTC
Severity: normal
Tags: fixed
Fixed in version 29.1
Done: Robert Pluim <rpluim <at> gmail.com>
Bug is archived. No further changes may be made.
To add a comment to this bug, you must first unarchive it, by sending
a message to control AT debbugs.gnu.org, with unarchive 59476 in the body.
You can then email your comments to 59476 AT debbugs.gnu.org in the normal way.
Toggle the display of automated, internal messages from the tracker.
Report forwarded
to
bug-gnu-emacs <at> gnu.org
:
bug#59476
; Package
emacs
.
(Tue, 22 Nov 2022 08:03:02 GMT)
Full text and
rfc822 format available.
Acknowledgement sent
to
Michael Shulman <shulman <at> sandiego.edu>
:
New bug report received and forwarded. Copy sent to
bug-gnu-emacs <at> gnu.org
.
(Tue, 22 Nov 2022 08:03:02 GMT)
Full text and
rfc822 format available.
Message #5 received at submit <at> debbugs.gnu.org (full text, mbox):
[Message part 1 (text/plain, inline)]
The quail key sequences in the "TeX" input method are inconsistent: the
key sequence for 0x22D8 VERY MUCH LESS-THAN (⋘) is "\Ll", but the key
sequence for 0x22D9 VERY MUCH GREATER-THAN (⋙) is "\ggg".
Personally, I would prefer that they be made consistent by changing ⋘ to
"\lll" (or at least adding it as an alternative), since the Agda input
method, which inherits from the TeX input method, uses "\Gg" for the small
Greek letter gamma (γ).
[Message part 2 (text/html, inline)]
Information forwarded
to
bug-gnu-emacs <at> gnu.org
:
bug#59476
; Package
emacs
.
(Tue, 22 Nov 2022 11:08:02 GMT)
Full text and
rfc822 format available.
Message #8 received at 59476 <at> debbugs.gnu.org (full text, mbox):
>>>>> On Mon, 21 Nov 2022 23:25:04 -0800, Michael Shulman <shulman <at> sandiego.edu> said:
Michael> The quail key sequences in the "TeX" input method are inconsistent: the
Michael> key sequence for 0x22D8 VERY MUCH LESS-THAN (⋘) is "\Ll", but the key
Michael> sequence for 0x22D9 VERY MUCH GREATER-THAN (⋙) is "\ggg".
Michael> Personally, I would prefer that they be made consistent by changing ⋘ to
Michael> "\lll" (or at least adding it as an alternative), since the Agda input
Michael> method, which inherits from the TeX input method, uses "\Gg" for the small
Michael> Greek letter gamma (γ).
Thereʼs nothing stopping you from doing that locally:
(with-temp-buffer
(activate-input-method "TeX") ;; the input method has to be triggered for `quail-package-alist' to be non-nil
(let ((quail-current-package (assoc "TeX" quail-package-alist)))
(quail-define-rules ((append . t))
("\\lll" ?⋘))))
(I donʼt use the TeX input method, so I canʼt judge if doing that by
default makes sense, although adding it as an alternative seems
relatively harmless.)
Robert
--
Information forwarded
to
bug-gnu-emacs <at> gnu.org
:
bug#59476
; Package
emacs
.
(Tue, 22 Nov 2022 14:20:02 GMT)
Full text and
rfc822 format available.
Message #11 received at 59476 <at> debbugs.gnu.org (full text, mbox):
> Cc: 59476 <at> debbugs.gnu.org
> From: Robert Pluim <rpluim <at> gmail.com>
> Date: Tue, 22 Nov 2022 12:06:45 +0100
>
> (with-temp-buffer
> (activate-input-method "TeX") ;; the input method has to be triggered for `quail-package-alist' to be non-nil
> (let ((quail-current-package (assoc "TeX" quail-package-alist)))
> (quail-define-rules ((append . t))
> ("\\lll" ?⋘))))
>
> (I donʼt use the TeX input method, so I canʼt judge if doing that by
> default makes sense, although adding it as an alternative seems
> relatively harmless.)
Would you please add it? TIA.
Information forwarded
to
bug-gnu-emacs <at> gnu.org
:
bug#59476
; Package
emacs
.
(Tue, 22 Nov 2022 15:53:01 GMT)
Full text and
rfc822 format available.
Message #14 received at 59476 <at> debbugs.gnu.org (full text, mbox):
tags 59476 fixed
close 59476 29.1
quit
>>>>> On Tue, 22 Nov 2022 16:19:56 +0200, Eli Zaretskii <eliz <at> gnu.org> said:
>> Cc: 59476 <at> debbugs.gnu.org
>> From: Robert Pluim <rpluim <at> gmail.com>
>> Date: Tue, 22 Nov 2022 12:06:45 +0100
>>
>> (with-temp-buffer
>> (activate-input-method "TeX") ;; the input method has to be triggered for `quail-package-alist' to be non-nil
>> (let ((quail-current-package (assoc "TeX" quail-package-alist)))
>> (quail-define-rules ((append . t))
>> ("\\lll" ?⋘))))
>>
>> (I donʼt use the TeX input method, so I canʼt judge if doing that by
>> default makes sense, although adding it as an alternative seems
>> relatively harmless.)
Eli> Would you please add it? TIA.
Done
Closing
Committed as 4b6e152e34
Added tag(s) fixed.
Request was from
Robert Pluim <rpluim <at> gmail.com>
to
control <at> debbugs.gnu.org
.
(Tue, 22 Nov 2022 15:53:02 GMT)
Full text and
rfc822 format available.
bug marked as fixed in version 29.1, send any further explanations to
59476 <at> debbugs.gnu.org and Michael Shulman <shulman <at> sandiego.edu>
Request was from
Robert Pluim <rpluim <at> gmail.com>
to
control <at> debbugs.gnu.org
.
(Tue, 22 Nov 2022 15:53:02 GMT)
Full text and
rfc822 format available.
Information forwarded
to
bug-gnu-emacs <at> gnu.org
:
bug#59476
; Package
emacs
.
(Tue, 22 Nov 2022 16:53:02 GMT)
Full text and
rfc822 format available.
Message #21 received at 59476 <at> debbugs.gnu.org (full text, mbox):
> From: Robert Pluim <rpluim <at> gmail.com>
> Cc: shulman <at> sandiego.edu, 59476 <at> debbugs.gnu.org
> Date: Tue, 22 Nov 2022 16:52:03 +0100
>
> tags 59476 fixed
> close 59476 29.1
> quit
>
> >>>>> On Tue, 22 Nov 2022 16:19:56 +0200, Eli Zaretskii <eliz <at> gnu.org> said:
>
> >> Cc: 59476 <at> debbugs.gnu.org
> >> From: Robert Pluim <rpluim <at> gmail.com>
> >> Date: Tue, 22 Nov 2022 12:06:45 +0100
> >>
> >> (with-temp-buffer
> >> (activate-input-method "TeX") ;; the input method has to be triggered for `quail-package-alist' to be non-nil
> >> (let ((quail-current-package (assoc "TeX" quail-package-alist)))
> >> (quail-define-rules ((append . t))
> >> ("\\lll" ?⋘))))
> >>
> >> (I donʼt use the TeX input method, so I canʼt judge if doing that by
> >> default makes sense, although adding it as an alternative seems
> >> relatively harmless.)
>
> Eli> Would you please add it? TIA.
>
> Done
Thanks!
bug archived.
Request was from
Debbugs Internal Request <help-debbugs <at> gnu.org>
to
internal_control <at> debbugs.gnu.org
.
(Wed, 21 Dec 2022 12:24:08 GMT)
Full text and
rfc822 format available.
This bug report was last modified 2 years and 241 days ago.
Previous Next
GNU bug tracking system
Copyright (C) 1999 Darren O. Benham,
1997,2003 nCipher Corporation Ltd,
1994-97 Ian Jackson.