Re: 1

I _think_ that is a blackboard bold 1, so in TeXmacs (see manual, 3.2) 
you obtain that with the key combination shift + F6.

Also, the different thickness between the first and the second stroke of 
the 1 may depend on the font; I do not know, with TeXmacs Computer 
Modern I get two strokes of the same thickness. I experimented with 
other fonts and I did not obtain a 1 like in your image.


Giovanni

On 20/05/24 17:38, vincent douce wrote:
> hello
> is there a means in TeXmacs to get this 1 with double bar ?
>