mailing-list for TeXmacs Users

[Pierre-Henri Jondot <address@hidden>]

> Le 11 août 2021 à 13:35, TeXmacs <address@hidden> a écrit :
> 
> Hi,
> 
> 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}).
> 
> Best wishes, --Joris

Thanks Joris,

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 ?

Regards,

Pierre-Henri