Skip to Content.
Sympa Menu

texmacs-users - Re: Extensible double right arrows?

Subject: mailing-list for TeXmacs Users

List archive

Re: Extensible double right arrows?


Chronological Thread 
  • 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.




Archive powered by MHonArc 2.6.19.

Top of Page