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 <[email protected]> > > 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 <[email protected] > >> <mailto:[email protected]>> 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 <[email protected] > >>> <mailto:[email protected]>> 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 <[email protected] > >>>> <mailto:[email protected]>> 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 > >>>> [email protected] <mailto:[email protected]> > >>>> https://lists.gnu.org/mailman/listinfo/texmacs-dev > >>>> <https://lists.gnu.org/mailman/listinfo/texmacs-dev> > >>> > >> > >> _______________________________________________ > >> Texmacs-dev mailing list > >> [email protected] <mailto:[email protected]> > >> https://lists.gnu.org/mailman/listinfo/texmacs-dev > > > > _______________________________________________ > Texmacs-dev mailing list > [email protected] > https://lists.gnu.org/mailman/listinfo/texmacs-dev _______________________________________________ Texmacs-dev mailing list [email protected] https://lists.gnu.org/mailman/listinfo/texmacs-dev
