First login?
Lost password?
 
 
 
mailing-list for TeXmacs Users

Text archives Help


Extensible double right arrows?


Chronological Thread 
  • From: Frank <address@hidden>
  • To: TeXmacs <address@hidden>
  • Subject: Extensible double right arrows?
  • Date: Sat, 2 Nov 2019 11:31:12 +0100
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,


Archive powered by MHonArc 2.6.19.

Top of page