mailing-list for TeXmacs Users

[Joris van der Hoeven <address@hidden>]

On Fri, Oct 21, 2005 at 10:39:37PM +0200, Henri Lesourd wrote:
> >>>>>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?
> >>>>>
> >>The plugin is now available on my web page :
> >><<
> >> http://www.ags.uni-sb.de/~henri/texmacs
> >
> >The plug-in is interesting, but I do not think that it answers
> >the typographic question raised by Michael.
> >
> Currently, this plugin draws exactly the kind of trees that
> are shown in Michael's example document. And it does that
> in a completely automatic way.

*NO*, the fraction bars are *NOT* shortened in the way Michael requests.