-
Grégoire Lecerf
Joris van der Hoeven
Joris van der Hoeven
mailing-list for TeXmacs Users
Text archives Help
From : Giovanni Piredda <address@hidden>- To: address@hidden
- Subject: Re: |.| vs ||.||
- Date: Thu, 29 Jul 2021 13:14:57 +0000
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
- |.| vs ||.||, vincent douce, 07/29/2021
- Re: |.| vs ||.||, Giovanni Piredda, 07/29/2021
Archive powered by MHonArc 2.6.19.
