Re: [Texmacs-dev] A bug or a feature?

[TeXmacs]

Well it now appears to me that fine-tuning the spacing inside
math formulas is maybe not as easy as it should be:
typing '\ ; return' is a bit long.

But then again (cf. our private discussion from yesterday):
what we might really need is a more semantic way of increasing
the space around certain operators (typically binary relations).
We have the experimental package 'wide-spacing' for this and
I urge you to try it and think about possible improvements.

Best wishes, --Joris



On Wed, May 05, 2021 at 12:34:32PM +0200, Massimiliano Gubinelli wrote:
> Thanks! 
>   this makes sense to me. Indeed I was not aware of this meaning of  <space>  
> (maybe I need to read Jolly Writer more carefully....)
> 
> Max
> 
> 
> > On 5. May 2021, at 12:20, TeXmacs <texmacs@lix.polytechnique.fr> wrote:
> > 
> > Hi Max,
> > 
> > <space> is an infix operator (see std-symbols.scm),
> > so "a<space>=<space>b" does not really make sense.
> > You can enter tiny explicit spaces using \, \: \;
> > 
> > We might create better keyboard shortcuts though,
> > if you have a proposition that is well thought through
> > (e.g. in particular, one has to consider the complete
> > list of current variants and use cases).
> > 
> > Best wishes, --Joris
> > 
> > 
> > 
> > On Wed, May 05, 2021 at 12:02:05PM +0200, Massimiliano Gubinelli wrote:
> >> To be clear, the following snippet
> >> 
> >> (equation* (document "a<space>=<space>b"))
> >> 
> >> does not show up as I expect. There is space betwen "a" and "=" but not 
> >> between "=" and "b".
> >> 
> >> Max
> >> 
> >> 
> >>> On 5. May 2021, at 12:00, Massimiliano Gubinelli <m.gubinelli@gmail.com> 
> >>> wrote:
> >>> 
> >>> Basile,
> >>> I mean that I type [=] and then [space]+[tab] to insert a <space> 
> >>> character. Also if you copy and paste it from somewhere else it will be 
> >>> correctly inserted but not displayed. There will be zero space between = 
> >>> and the following text.
> >>> 
> >>> Max
> >>> 
> >>> 
> >>>> On 5. May 2021, at 11:53, Basile Audoly <baudoly@gmail.com 
> >>>> <mailto:baudoly@gmail.com><mailto:baudoly@gmail.com 
> >>>> <mailto:baudoly@gmail.com>>> wrote:
> >>>> 
> >>>> Hi Max,
> >>>> I think you need this space to achieve =/ (whatever it means) instead of 
> >>>> ≠ when typing the keys [=][spc][/].
> >>>> In other words, the space is used to mark the end of the keystroke 
> >>>> combination.
> >>>> Basile
> >>>> 
> >>>> 
> >>>>> Le 5 mai 2021 à 11:52, Basile Audoly <baudoly@gmail.com 
> >>>>> <mailto:baudoly@gmail.com><mailto:baudoly@gmail.com 
> >>>>> <mailto:baudoly@gmail.com>>> a écrit :
> >>>>> 
> >>>>> Hi Max,
> >>>>> I think you need this space to achieve =+ instead of ≠ when typing the 
> >>>>> keys [=][spc][/].
> >>>>> In other words, the space is interpreted as a the end of the keystroke 
> >>>>> sequence.
> >>>>> Basile
> >>>>> 
> >>>>>> Le 5 mai 2021 à 11:49, Massimiliano Gubinelli <m.gubinelli@gmail.com 
> >>>>>> <mailto:m.gubinelli@gmail.com><mailto:m.gubinelli@gmail.com 
> >>>>>> <mailto:m.gubinelli@gmail.com>>> a écrit :
> >>>>>> 
> >>>>>> Dear all,
> >>>>>> a friend (which I'm trying to convert to TeXmacs) has note this 
> >>>>>> strange behaviour (which I never noticed before): in math mode, 
> >>>>>> <space> after "=" is ignored. To check just type [=] and then [space] 
> >>>>>> [tab] to insert <space> and write some more. Wider spaces work, e.g. 
> >>>>>> [space] [tab] [tab] [tab] for example. <space> before "=" also works. 
> >>>>>> So I guess this is a bug?
> >>>>>> 
> >>>>>> Joris?
> >>>>>> 
> >>>>>> Max
> >>>>>> 
> >>>>>> 
> >>>>>> _______________________________________________
> >>>>>> Texmacs-dev mailing list
> >>>>>> Texmacs-dev@gnu.org <mailto:Texmacs-dev@gnu.org> 
> >>>>>> <mailto:Texmacs-dev@gnu.org <mailto:Texmacs-dev@gnu.org>>
> >>>>>> https://lists.gnu.org/mailman/listinfo/texmacs-dev 
> >>>>>> <https://lists.gnu.org/mailman/listinfo/texmacs-dev><https://lists.gnu.org/mailman/listinfo/texmacs-dev
> >>>>>>  <https://lists.gnu.org/mailman/listinfo/texmacs-dev>>
> >>>>> 
> >>>> 
> >>>> _______________________________________________
> >>>> Texmacs-dev mailing list
> >>>> Texmacs-dev@gnu.org <mailto:Texmacs-dev@gnu.org> 
> >>>> <mailto:Texmacs-dev@gnu.org <mailto:Texmacs-dev@gnu.org>>
> >>>> https://lists.gnu.org/mailman/listinfo/texmacs-dev 
> >>>> <https://lists.gnu.org/mailman/listinfo/texmacs-dev>
> >>> 
> >> 
> > 
> >> _______________________________________________
> >> Texmacs-dev mailing list
> >> Texmacs-dev@gnu.org <mailto:Texmacs-dev@gnu.org>
> >> https://lists.gnu.org/mailman/listinfo/texmacs-dev 
> >> <https://lists.gnu.org/mailman/listinfo/texmacs-dev>
> > 
> > 
> > _______________________________________________
> > Texmacs-dev mailing list
> > Texmacs-dev@gnu.org <mailto:Texmacs-dev@gnu.org>
> > https://lists.gnu.org/mailman/listinfo/texmacs-dev 
> > <https://lists.gnu.org/mailman/listinfo/texmacs-dev>

> _______________________________________________
> Texmacs-dev mailing list
> Texmacs-dev@gnu.org
> https://lists.gnu.org/mailman/listinfo/texmacs-dev