Skip to Content.
Sympa Menu

texmacs-users - Re: dice

Subject: mailing-list for TeXmacs Users

List archive

Re: dice


Chronological Thread 
  • From: Alkis Akritas <address@hidden>
  • To: Julien Frontisi <address@hidden>
  • Cc: vincent douce <address@hidden>, texmacs-users <address@hidden>
  • Subject: Re: dice
  • Date: Fri, 21 Jan 2022 14:16:15 +0200

By the way, the venus sign U+2640 works just fine :-)

Alkis

On Fri, Jan 21, 2022 at 12:07 PM Julien Frontisi <address@hidden> wrote:
Hi, Vincent, hi, all !
if you’re working on a mac with MacOs interface, the shortcut would be Control-q and then #2681 or such then Enter.
I believe the question was previously asked by a certain Vincent about the venus sign ;-).

Julien


Le 17 janv. 2022 à 23:00, vincent douce <address@hidden> a écrit :

ah ok thanks Jeroen i will use copypaste
or.. according to you, is there a way to create a shortcut for unicode characters ?

Le 16 janv. 2022 à 17:39, Jeroen Wouters <address@hidden> a écrit :

Hello Vinz,

Those characters are Unicode U+2680 until U+2685: ⚀ ⚁ ⚂ ⚃ ⚄ ⚅

You can enter them in TeXmacs by typing Meta+Q (or the equivalent for your system), then #2680, followed by Enter. Or you can just copy-paste them in.

Best wishes,
Jeroen

On Sat, 2022-01-15 at 23:39 +0100, vincent douce wrote:
hi
is there a way to write easyly the faces of a dice like this ? i often need this…
Dé à jouer : images, photos et images vectorielles de stock | Shutterstock
Vinz






- - - - - -
LeMathoscope : cours de maths par zoom  et poésie des mathématiques :







--
All the best,

Alkis


  • dice, vincent douce, 01/15/2022
    • Re: dice, Jeroen Wouters, 01/16/2022
      • Re: dice, vincent douce, 01/17/2022
        • Re: dice, Julien Frontisi, 01/21/2022
          • Re: dice, Alkis Akritas, 01/21/2022
            • Re: dice, Massimiliano Gubinelli, 01/21/2022
          • Re: dice, Alkis Akritas, 01/21/2022
          • Re: dice, Giovanni Piredda, 01/21/2022
          • Re: dice, vincent douce, 01/21/2022

Archive powered by MHonArc 2.6.24.

Top of Page