Le 29 juil. 2021 à 15:14, Giovanni Piredda <address@hidden> a écrit :

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 ||.|| :

<GraphiqueCollé-1.png>

i use styx

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

Vincent