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 <texm...@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.gubine...@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 <baud...@gmail.com > >>>> <mailto:baud...@gmail.com><mailto:baud...@gmail.com > >>>> <mailto:baud...@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 <baud...@gmail.com > >>>>> <mailto:baud...@gmail.com><mailto:baud...@gmail.com > >>>>> <mailto:baud...@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.gubine...@gmail.com > >>>>>> <mailto:m.gubine...@gmail.com><mailto:m.gubine...@gmail.com > >>>>>> <mailto:m.gubine...@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 _______________________________________________ Texmacs-dev mailing list Texmacs-dev@gnu.org https://lists.gnu.org/mailman/listinfo/texmacs-dev