mailing-list for TeXmacs Users

[Frank <address@hidden>]

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,