First login?
Lost password?
 
 
 
mailing-list for TeXmacs Users

Text archives Help


Re: A minor typography quibble


Chronological Thread 
  • From: Pierre-Henri Jondot <address@hidden>
  • To: TeXmacs <address@hidden>
  • Cc: address@hidden
  • Subject: Re: A minor typography quibble
  • Date: Thu, 12 Aug 2021 05:43:57 +0200


> 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


Archive powered by MHonArc 2.6.19.

Top of page