unofficial mirror of bug-gnu-emacs@gnu.org 
 help / color / mirror / code / Atom feed
* bug#59476: Inconsistency in TeX input method: \ggg vs \Ll
@ 2022-11-22  7:25 Michael Shulman
  2022-11-22 11:06 ` Robert Pluim
  0 siblings, 1 reply; 5+ messages in thread
From: Michael Shulman @ 2022-11-22  7:25 UTC (permalink / raw)
  To: 59476

[-- Attachment #1: Type: text/plain, Size: 459 bytes --]

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 (γ).

[-- Attachment #2: Type: text/html, Size: 562 bytes --]

^ permalink raw reply	[flat|nested] 5+ messages in thread

end of thread, other threads:[~2022-11-22 16:52 UTC | newest]

Thread overview: 5+ messages (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2022-11-22  7:25 bug#59476: Inconsistency in TeX input method: \ggg vs \Ll Michael Shulman
2022-11-22 11:06 ` Robert Pluim
2022-11-22 14:19   ` Eli Zaretskii
2022-11-22 15:52     ` Robert Pluim
2022-11-22 16:52       ` Eli Zaretskii

Code repositories for project(s) associated with this public inbox

	https://git.savannah.gnu.org/cgit/emacs.git

This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for read-only IMAP folder(s) and NNTP newsgroup(s).