Chronological Thread 

< Chronological >      < Thread >

---

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
> >
>

---

• A minor typography quibble, Pierre-Henri Jondot, 08/11/2021
  • Re: A minor typography quibble, vincent douce, 08/11/2021
  • Re: A minor typography quibble, Massimiliano Gubinelli, 08/11/2021
    • Re: A minor typography quibble, Pierre-Henri Jondot, 08/11/2021
      • Re: A minor typography quibble, TeXmacs, 08/11/2021
        • Re: A minor typography quibble, Pierre-Henri Jondot, 08/12/2021
          • Re: A minor typography quibble, TeXmacs, 08/12/2021
    • Re: A minor typography quibble, Frank, 08/11/2021
      • Re: A minor typography quibble, TeXmacs, 08/11/2021

---

Archive powered by MHonArc 2.6.19.