mailing-list for TeXmacs Users

[Joris van der Hoeven <address@hidden>]

On Sat, Oct 15, 2005 at 11:24:15AM -0500, Michael D. Adams 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?

You may use

        Insert -> Special -> Resize object
        Insert -> Special -> Move object

in order to resize/move an object. I would suggest to write some macros
which behave as a fraction, but resize to the size of the numerator or
denominator.

The box-info primitive can be used to dynamically compute the size of
a box (unfortunately not yet documented; the second argument can be one
of l (left), r (right), t (top), w (width), etc.).

Of course, one might try to implement something even more automatic,
but this would require more thinking/programming. For the time being,
the above suggestions should allow you to do what you want.

Best wishes, Joris