Subject: mailing-list for TeXmacs Users
List archive
From : Basile Audoly <address@hidden>- To: Frank <address@hidden>
- Cc: TeXmacs <address@hidden>
- Subject: Re: Extensible double right arrows?
- Date: Mon, 4 Nov 2019 07:09:59 +0100
Hi Frank,
here is the code that Joris described. It still has to be packaged into a macro,
Basile.
<\equation*>
<superpose|<shift|<long-arrow|\<rubber-rightarrow\>|<text|blahblah>>||.5em>|<long-arrow|\<rubber-rightarrow\>|<phantom|<text|blahblah>>>>
</equation*>
Basile
Le 3 nov. 2019 à 20:10, Frank <address@hidden> a écrit :I will try to understand the superposition.
- Extensible double right arrows?, Frank, 11/02/2019
- Re: Extensible double right arrows?, TeXmacs, 11/03/2019
- Re: Extensible double right arrows?, Frank, 11/03/2019
- Re: Extensible double right arrows?, Basile Audoly, 11/04/2019
- Re: Extensible double right arrows?, TeXmacs, 11/08/2019
- Re: Extensible double right arrows?, Frank, 11/03/2019
- Re: Extensible double right arrows?, TeXmacs, 11/03/2019
Archive powered by MHonArc 2.6.19.