Chronological Thread 

< Chronological >      < Thread >

---

Hi Frank,

The arrows you requested have been added in revision 12443 on SVN.
They will be available in the next release of TeXmacs.

Best wishes, --Joris


On Sun, Nov 03, 2019 at 04:26:42AM +0100, TeXmacs wrote:
> Hi Frank,
>
> Up to how many arrows do you need?
> I could add some extra symbols if that is helpful.
>
> Of course, you may also create a macro that does what you want.
> Assume that you wish to display a long double arrow with
> some formula 'blah' above it. Recall that the 'phantom' primitive
> allows you to display 'blah' using an invisible color.
> Then you may superpose (Format -> Special -> Superpose)
> a single arrow with 'blah' above it and a second single arrow
> with a phantom version of 'blah', while moving the second arrow
> somewhat down (using Format -> Adjust -> Move).
>
> Best wishes, --Joris
>
>
> On Sat, Nov 02, 2019 at 11:31:12AM +0100, Frank wrote:
> > Hello, all
> >
> > I wonder how to input extensible double right arrows (with upper and
> > lower scripts)? This is useful when I want to input a pair of maps.
> >
> > I also wonder how to input three right arrows, four right arrows,
> > etc. This is used to depict, say, simplicial objects.
> >
> > --
> > Best wishes!
> > Yours,
> >

---

• 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

---

Archive powered by MHonArc 2.6.19.