mailing-list for TeXmacs Users

[Giovanni Piredda <address@hidden>]

Hi Vincent,

to me they seem the same height, please see attached screenshot of your file (I only changed the file name).

Let me investigate in which folder there are the settings that control the typesetting (maybe someone else knows this).

In the meantime you could try saving somewhere the content of your .TeXmacs folder and then deleting the .TeXmacs folder (this brings TeXmacs to default settings), and see what happens.

Giovanni

Am 03.08.2021 um 16:56 schrieb vincent douce:

      hi Giovanni

here :

Vincent

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

Attachment: delimiters_giovanni.PNG
Description: PNG image