Chronological Thread 

< Chronological >      < Thread >

---

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.

---

• Natural Deduction, Michael D. Adams, 10/15/2005
  • Re: [TeXmacs] Natural Deduction, Henri Lesourd, 10/15/2005
    • Message not available
      • Re: [TeXmacs] Natural Deduction, Henri Lesourd, 10/21/2005
        • Re: [TeXmacs] Natural Deduction, Joris van der Hoeven, 10/21/2005
          • Re: [TeXmacs] Natural Deduction, Henri Lesourd, 10/21/2005
            • Re: [TeXmacs] Natural Deduction, Joris van der Hoeven, 10/22/2005
              • Re: [TeXmacs] Natural Deduction, Henri Lesourd, 10/22/2005
            • Message not available
              • Re: [TeXmacs] Natural Deduction, Henri Lesourd, 10/22/2005
  • Re: [TeXmacs] Natural Deduction, Joris van der Hoeven, 10/15/2005

---

Archive powered by MHonArc 2.6.19.