mailing-list for TeXmacs Users

[Marten Bauer <address@hidden>]

Am Montag, 13. Januar 2003 18:15 schrieb address@hidden:
> On Mon, Jan 13, 2003 at 08:43:22AM +0100, Cyril Grunspan wrote:
> > Alt Gr 6, -, >
> >
> > On Sun, 12 Jan 2003, Marten Bauer wrote:
> > > 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 just take a look into my latex2e book and i don't find the sign. But i saw 
it in many documents who are written with latex. I think they installed some 
toolboxes for this problem.