mailing-list for TeXmacs Users

[Julien Frontisi <address@hidden>]

<int><space|-0.5em> (without unit) works fine here but I'd prefer -0.8em or -0.9em.

It looks nicer. Of course, it's not Knuth's original...

Julien

Le 22 févr. 2014 à 13:04, Tim Li <address@hidden> a écrit :

Thanks, Julien.
 
In you macro, mm is a absolute length unit. I think we'd better use a rigid font-dependent length unit. 
In the TeXbook, Donald Knuth defined the double integral sign as follows:
\def\iint{\int\!\!\!\int}
Here \! which is a negative thin space equals -1/6 \quad with \quad being 1em. 
Thus, I want to define a \iint like this (inspired by your macro) :
<assign|iint|<int><space|-0.5emunit>>
What surprised me is that it is as same as \int\int. I don't know why :(
 
Tim

---

From: address@hidden
Date: Sat, 22 Feb 2014 12:01:56 +0100
To: address@hidden
Subject: Re: [TeXmacs] Multiple integral sign

Actually this is not what I used to do.

I used to define :

<\assign | iint | <\int><\space | -3mm>>

<\assign | iiint | <\int><\space | -3mm><\int><\space | -3mm>>

For a double integral I would type : \iint \int and for a triple \iiint \int 

This combination to have the domain subscript at the right place. And this is probably the worst way to do it...

Julien

Le 22 févr. 2014 à 11:39, LiTim <address@hidden> a écrit :

Hi everyone,
 
it seems that TeXmacs doesn't support amsmath, so I cannot use \iint \iiint for double integral and triple integral. How do you input the multiple integral sign? Could you tell me that?
 
Best regards,
Tim