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
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 completelist of current variants and use cases).Best wishes, --JorisOn 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>> 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>> 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>> 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 listTexmacs-dev@gnu.orghttps://lists.gnu.org/mailman/listinfo/texmacs-dev
|