mailing-list for TeXmacs Users

[TeXmacs <address@hidden>]

Hi Pierre-Henri,

On Thu, Aug 12, 2021 at 05:43:57AM +0200, Pierre-Henri Jondot wrote:
> > Le 11 août 2021 à 13:35, TeXmacs <address@hidden> a écrit :
> > The ':' symbol is somewhat overloaded.
> > 
> > By default, it is the punctuation mark (arguably, it should be
> > something else).  You also have:
> > 
> >  : tab          -> 'of' (a function or programming type).
> >  : tab tab      -> 'over' (alternative notation for division)
> >  : tab tab tab  -> 'suchthat' (like {x in R : x^2 >= 5}).
> 
> I do see indeed that to come back to the first notation, I have to hit a 
> fourth time the tab key. But I couldn't see any difference between the 
> three : with one tab, or two, or three, it looks exactly the same to me. Is 
> the difference semantics only ?

Yes, I confirm that the three alternatives currently all have
the same spacing.  But there might be slight variations in the future.
For instance, the spacing of 'suchthat' might become larger than
the spacing of the two other ones in the future, at least in certain modes.

Best wishes, --Joris