mailing-list for TeXmacs Users

[Massimiliano Gubinelli <address@hidden>]

I was looking but didn't found any way. You can just use another editor to input the character somehow and then copy and paste. It should work.

m

On 24. Mar 2020, at 11:28, Vincent Douce Mathoscope <address@hidden> wrote:

hi

i would like to insert a unicode symbole that i know the number (U+2640)

how can i proceed ?

Vincent

–––

Vincent Douce Mathoscope

cours de maths par visio pendant la crise :

https://www.facebook.com/pg/mathoscopeVincent/posts/?ref=page_internal

(lycéens, prépa, étudiants).

poésie visuelle :

https://tsunaminuage.wordpress.com/