- 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*>
I will try to understand the superposition.
Archive powered by MHonArc 2.6.19.