mailing-list for TeXmacs Users

[Giovanni Piredda <address@hidden>]

Hi Vincent,

I tried and I get two equally tall delimiters (with both Roman and Stix). Could you perhaps post the TeXmacs code that yields delimiters of different height, instead of a picture?

G.

Am 29.07.2021 um 08:13 schrieb vincent douce:

      hi

on this picture you can see the different size between |.| and ||.|| :

i use styx

how can i parameter TeXmacs so that they have the same vertical size ?

Vincent