mailing-list for TeXmacs Users

[Giovanni Piredda <address@hidden>]

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 ?