mailing-list for TeXmacs Users

[Frank <address@hidden>]

Hello,

Thanks. I believe that up to four is enough. Left arrows & right arrows, longer and shorter.

I will try to understand the superposition. By the way, it would be better to be able to draw square commutative diagrams directly (similar to AMScd). I know that I can use tabular and phantoms to make arrows equally long, but it is somewhat hard, especially I need to keep them up to date during modifications. Labels on vertical arrows are also somehow problematic. Thank you for your helps.

Best wishes,

于 November 3, 2019 3:26:42 AM UTC, TeXmacs <address@hidden> 写到:

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,

-- 
使用 K-9 Mail 发送自我的Android设备。