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
