mailing-list for TeXmacs Users

[Henri Lesourd <address@hidden>]

> I want to typeset some Natural Deduction proofs in TeXmacs.  See pages
> 15 and 16 of [1]  for some examples and the formal syntax.  Using
> faction bars almost works.  The only problem is that they extend their
> width to include everything above and below them.  For natural
> deduction the bar should only extend to include the things immediately
> above and below.  Does there exists a TeXmacs module for this or how
> would I go about typesetting this?
>
>  
I can provide you with a plugin I wrote to do precisely this
some months ago. Currently, the code is a little bit crappy,
so I need some days to find the time to clean it.

Keep in touch, Henri