mailing-list for TeXmacs Users

[TeXmacs <address@hidden>]

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



On Wed, Aug 11, 2021 at 11:34:47AM +0200, Pierre-Henri Jondot wrote:
> Thanks Max, it works perfectly. 
> 
> I still think the version with a bit more space should be the default, but 
> this solution is already much more convenient to type and more pleasant to 
> the eye.
> 
> Regards,
> 
> Pierre-Henri
> 
> > Le 11 août 2021 à 10:10, Massimiliano Gubinelli <address@hidden> a écrit :
> > 
> > What about "g" ":" "[tab]" ? This add the colon with a bit more space. 
> > 
> > Max
> > 
> > 
> >> On 11. Aug 2021, at 06:01, Pierre-Henri Jondot <address@hidden> wrote:
> >> 
> >> Hi everyone,
> >> 
> >> Still having fun writing mathematics with TeXmacs.
> >> 
> >> There is a little something that is a minor annoyance to me : I usually 
> >> write a lot thing like : 
> >> Soient f : [a,b] -> R et g : [a,b] -> R deux fonctions.
> >> 
> >> By default, TeXmacs puts almost no space (at least not enough for me) 
> >> between f, g and the  : char.
> >> 
> >> To add a little space there (that is ok for f but is not quite enough 
> >> for g), I have to do : f, :, left arrow, space, right arrow...
> >> 
> >> If my typography habits are wrong (for French course material to be 
> >> precise) please correct me. Otherwise, is there a way to force TeXmacs 
> >> to automatically put a bit more space before the : char ? (The document 
> >> I am writing is of course declared to be in French)
> >> 
> >> Regards,
> >> 
> >> Pierre-Henri
> > 
>