GNU bug report logs - #59476
Inconsistency in TeX input method: \ggg vs \Ll

Previous Next

Full log

Message #8 received at 59476 <at> debbugs.gnu.org (full text, mbox):

From: Robert Pluim <rpluim <at> gmail.com>
To: Michael Shulman <shulman <at> sandiego.edu>
Cc: 59476 <at> debbugs.gnu.org
Subject: Re: bug#59476: Inconsistency in TeX input method: \ggg vs \Ll
Date: Tue, 22 Nov 2022 12:06:45 +0100

>>>>> 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
-- 

Previous Next

GNU bug tracking system
Copyright (C) 1999 Darren O. Benham, 1997,2003 nCipher Corporation Ltd, 1994-97 Ian Jackson.