Skip to Content.
Sympa Menu

texmacs-users - Re: [TeXmacs] Too much space between '-' and infinity sign

Subject: mailing-list for TeXmacs Users

List archive

Re: [TeXmacs] Too much space between '-' and infinity sign


Chronological Thread 
  • From: Norbert Nemec <address@hidden>
  • To: address@hidden
  • Cc: Dylan Thurston <address@hidden>
  • Subject: Re: [TeXmacs] Too much space between '-' and infinity sign
  • Date: Wed, 15 Oct 2003 22:16:13 +0200

Am Mittwoch, 15. Oktober 2003 19:34 schrieb Dylan Thurston:
> On 2003-10-09, David Allouche <address@hidden> wrote:
> > On Tue, Oct 07, 2003 at 11:01:29PM +0200, Ralf Treinen wrote:
> >> ----- Forwarded message from Dylan Thurston <address@hidden> -----
> >>
> >> When I type '$-\infty<RET>$' into a new TeXmacs window, I get too much
> >> space between the minus sign and the infinity symbol, much more than TeX
> >> gives, for instance.
> >
> > Probably TeXmacs could be more intelligent with its mathematical syntax
> > logic. However the current correct way to write $-\infty$ is to use the
> ><um> symbol.
> >
> > In TeXmacs that is: $ - tab @ @
>
> I get the same (excessive) amount of space in this case.

Not true for me. (version 1.0.2)

The regular minus (display in leftmost corner of the window: "math -") looks
identical to the negation (display in leftmost corner of the window: "math
<um>") but the space afterwards is smaller (for minus infty just the same as
for minus 1 or anything else)

If you don't see the difference: is it because you can't insert <um>, or
because the <um> is not displayed any different from minus?

Furthermore: What do you mean by "much more" and "excessive"? Here it is just
a tiny difference that only an expert would notice. (comparable to one vs.
two spaces in math mode)

Furthermore: Is it only for /infty? I have the same behaviour for any
following symbol.

--
______________________Norbert Nemec <address@hidden>

Universität Erlangen-Nürnberg, Germany
Institut für Theoretische Physik III
Staudtstr. 7 ... D-91058 Erlangen ... Room No. U1.526
Tel: +49 9131 / 85-28816 ... Mobile: +49 179 / 7475199



Archive powered by MHonArc 2.6.19.

Top of Page