texmacs-users - Re: symbol "divide"

Subject: mailing-list for TeXmacs Users

List archive

Re: symbol "divide" |

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 :

hi
in 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 small

do you have an idea why ?

----
Vincent Douce
https://lemathoscope.com/
cours de maths postbac par visio

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

List archive

Re: symbol "divide" |