texmacs-users - Re: |.| vs ||.||

Subscribers: 415
Owners

Grégoire Lecerf

Joris van der Hoeven

Contact owners

Post

RSS
Shared documents

mailing-list for TeXmacs Users

Text archives Help

Re: |.| vs ||.||

From: Giovanni Piredda <address@hidden>
To: address@hidden
Subject: Re: |.| vs ||.||
Date: Tue, 3 Aug 2021 15:21:40 +0000

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

Re: |.| vs ||.||, vincent douce, 08/03/2021
- Re: |.| vs ||.||, Giovanni Piredda, 08/03/2021
  - Re: |.| vs ||.||, vincent douce, 08/08/2021

Archive powered by MHonArc 2.6.19.