Bonjour la liste debian-user-french (et quelques anciens collègues en
BCC)

Avec Debian/Trixie ou Sid, GNU emacs (32.0.50 que je compile moi-même
ou le GNU emacs 30.2 empaqueté par Debian) je souhaite rentrer (par
exemple dans des chaînes de caractères littérales) des caractères UTF8
que mon clavier (AZERTY par habitude) ne fournit pas, en particulier  

ℝ U+211D DOUBLE-STRUCK CAPITAL R

∀ U+2200 FOR ALL

∈ U+2208 ELEMENT OF

⇒ U+21D2 RIGHTWARDS DOUBLE ARROW

… U+2026 HORIZONTAL ELLIPSIS

et plusieurs dizaines d'autres. Dans un monde idéal je serais aussi
intéressé par les lettres cyrilliques.


Il me serait confortable d'entrer par exemple les caractères \ a l l
suivi par exemple la touche F3 (donc cinq pressions de touches) pour
que GNU emacs le transforme en ∀


Mon .emacs est sous licence CeCILL/GPL mais n'est pas aussi
sophistiqué, disponible sur 
https://github.com/bstarynk/misc-basile/blob/master/.emacs


Librement.
-- 

Basile STARYNKEVITCH                           
<[email protected]>
8 rue de la Faïencerie                      
http://starynkevitch.net/Basile/  
92340 Bourg-la-Reine                        
https://github.com/bstarynk
France                               
https://github.com/RefPerSys/RefPerSys
                  https://orcid.org/0000-0003-0908-5250

Répondre à