Subject: mailing-list for TeXmacs Users
List archive
From : Giovanni Piredda <address@hidden>- To: address@hidden
- Subject: Re: How can I write a number inside a circle?
- Date: Tue, 24 Oct 2023 18:19:55 +0000
On 23/10/23 16:12, vincent douce wrote:
i have tried this in my-init-texmacs :
the @1 … @6 work very fine
but curiously the @1 var do not work
any idea why ?
Vincent
;-----------------------------------
;------ dice and cards ------ only in styx mode !!!!!!!
;-----------------------------------
(kbd-map (:mode in-math?)
("@ 1" "<#2680>");ne marche pas en "roman"
("@ 2" "<#2681>");idem pour les autres
("@ 3" "<#2682>");marche avec "styx"
("@ 4" "<#2683>");pour les autres poss
("@ 5" "<#2684>")
("@ 6" "<#2685>")
("@ k" (insert '(with "color" "red" "<#2665>")));coeur
("@ c" (insert '(with "color" "red" "<#2666>")));carreau
("@ p" "<#2660>");pique
("@ t" "<#2663>");trefle
)
For me all of these work with Roman on Linux Ubuntu. By the way very nice shortcuts! I wonder whether anyone else tried them.
- Re: How can I write a number inside a circle?, (continued)
- Re: How can I write a number inside a circle?, Giovanni Piredda, 10/22/2023
- Re: How can I write a number inside a circle?, Eduardo M M Mendes, 10/22/2023
- Re: How can I write a number inside a circle?, Hammer Hu, 10/22/2023
- Re: How can I write a number inside a circle?, Eduardo M M Mendes, 10/23/2023
- Re: How can I write a number inside a circle?, Hammer Hu, 10/23/2023
- Re: How can I write a number inside a circle?, Luigi Amedeo Bianchi, 10/23/2023
- Re: How can I write a number inside a circle?, vincent douce, 10/23/2023
- Re: How can I write a number inside a circle?, Eduardo M M Mendes, 10/23/2023
- Re: How can I write a number inside a circle?, Eduardo M M Mendes, 10/23/2023
- Re: How can I write a number inside a circle?, vincent douce, 10/23/2023
- Re: How can I write a number inside a circle?, Giovanni Piredda, 10/24/2023
- Re: How can I write a number inside a circle?, Giovanni Piredda, 10/24/2023
- Re: How can I write a number inside a circle?, Luigi Amedeo Bianchi, 10/23/2023
- Re: How can I write a number inside a circle?, Giovanni Piredda, 10/24/2023
- Re: How can I write a number inside a circle?, Eduardo M M Mendes, 10/25/2023
- Re: How can I write a number inside a circle?, Giovanni Piredda, 10/25/2023
- Re: How can I write a number inside a circle?, Hammer Hu, 10/23/2023
- Re: How can I write a number inside a circle?, Eduardo M M Mendes, 10/23/2023
- Re: How can I write a number inside a circle?, Hammer Hu, 10/22/2023
Archive powered by MHonArc 2.6.24.