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