-
Grégoire Lecerf
Joris van der Hoeven
Joris van der Hoeven
mailing-list for TeXmacs Users
Text archives Help
From : Basile Audoly <address@hidden>- To: Vincent Douce Mathoscope <address@hidden>
- Cc: texmacs-users <address@hidden>
- Subject: Re: symbol "divide" |
- Date: Thu, 4 Mar 2021 13:22:59 +0100
Hi Vincent,
the spacing depends on the meaning of the symbol.
If you mean "divides" you should type "|" and then "shift-tab".
I expect this will solve the spacing issue.
Basile
Le 4 mars 2021 à 11:07, Vincent Douce Mathoscope <address@hidden> a écrit :hiin roman mode the shortcut ctrlM+| brings to this<PastedGraphic-16.png>whereas in Styx mode it gives :<PastedGraphic-15.png>which i find ugly because the | is to smalldo you have an idea why ?
- symbol "divide" |, Vincent Douce Mathoscope, 03/04/2021
- Re: symbol "divide" |, Basile Audoly, 03/04/2021
- Re: symbol "divide" |, Vincent Douce Mathoscope, 03/04/2021
- Re: symbol "divide" |, TeXmacs, 03/04/2021
- Re: symbol "divide" |, Vincent Douce Mathoscope, 03/04/2021
- Re: symbol "divide" |, Basile Audoly, 03/04/2021
Archive powered by MHonArc 2.6.19.
