mailing-list for TeXmacs Users

[TeXmacs <address@hidden>]

Hi Vincent,

I think that you misread Basile's reply.
He was talking about '| Shift+Tab'.
This produces the 'divides' relation symbol with
spacing before and behind.

The problem with the '|' symbol is that its meaning
is heavily overloaded in mathematics ('divides',
'such that', function restriction, absolute values, etc.).
With 'Tab' you can cycle among the various possibilities,
and this affects the spacing and the size of the bar.
Of course, I can't guarantee that a particular font will
always give what you want.

See also: The Jolly Writer, Table 4.16.

Best wishes, --Joris


On Thu, Mar 04, 2021 at 06:27:24PM +0100, Vincent Douce Mathoscope wrote:
> Hi Basile
> not at all
> indeed |tab seems to produce the same result as ctrlM |
> but i find it  not tall enough when in Stix
> i am not speaking about the spoaecwidth before or after the |
> ai am speaking about the height of the |
> 
> since i only use Stix because it makes a true visual difference between u 
> and v in math mode, i dont want to leave Stix…
> 
> 
> 
> 
> > Le 4 mars 2021 à 13:22, Basile Audoly <address@hidden> a écrit :
> > 
> > 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 
> >> <mailto: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/ <https://lemathoscope.com/>
> >> cours de maths postbac par visio
> >> 
> > 
> 
> ----
> Vincent Douce
> https://lemathoscope.com/
> cours de maths postbac par visio
>