mailing-list for TeXmacs Users

[Joris van der Hoeven <address@hidden>]

> > > i write a math Document and need "|->" in vertical direction. Is
> > > it possible? I found only the "->" in vertical direction.
> 
> Thanks for the proposal Cyril, but it seems that is not what Marten
> was looking for. He was asking for *vertical* |->.
> 
> That does not seem to be supported. How do you get that symbol with
> LaTeX?

I implemented it for the next version (| - > tab tab).
I also implemented long versions of vertical --> |--> etc.
I did not update the converter into LaTeX for this;
these symbols do not exist in LaTeX. If someone wants to write
LaTeX macros and patch the converter, then this would be welcome.