![](https://secure.gravatar.com/avatar/34b95e42adb30c74a64921415dbdf149.jpg?s=120&d=mm&r=g)
Hello, I have searched for a solution for making proof trees, but I have failed to find a working setup. Does anyone know of a solution? I have used bussproofs.sty with LaTeX, and have seen that discussed on this list some years ago: http://www.ntg.nl/pipermail/ntg-context/2010/051489.html (How) can I use this package in ConTeXt? I have also looked at this metapost package, but it seems this package relies deeper on LaTeX: http://tug.ctan.org/graphics/metapost/contrib/macros/drv/drv.mp Have anyone other suggestions? -- Trond Thorbjørnsen
![](https://secure.gravatar.com/avatar/34b95e42adb30c74a64921415dbdf149.jpg?s=120&d=mm&r=g)
Hello again,
Temporary I am using a combination of framed and align, see code under. Not
a good solution, but solves my current need.
Is there an easy way to make an inline baseline shift? I want to make a
label for each line, shifted down half a line.
-Trond
\startlinecorrection
\def\borderdt{\mframed[frame=off,
topframe=on,
bottomframe=on,
frameoffset=\dimexpr.254\baselineskip\relax,
height=\lineheight
]}
\def\borderdttop{\mframed[frame=off,
bottomframe=on,
frameoffset=\dimexpr.254\baselineskip\relax,
height=\lineheight
]}
\definehspace[spacedt] [2\emspaceamount]
\startformula
\startalign
\NC \borderdttop{\neg P \vdash \neg Q, P \text{\hspace[spacedt]}} \NC
\borderdttop{ \hspace[spacedt] Q, \neg P \vdash \neg Q} \NR
\NC \borderdt{(P\pil Q), \neg P} \NC \borderdt{\vdash \neg Q} \NR
\NC \borderdt{(P\pil Q)} \NC \borderdt{\vdash (\neg P\pil \neg Q)} \NR
\NC \NC \borderdt{\vdash (P\pil Q)\pil (\neg P\pil \neg Q)\pil R} \NR
\stopalign
\stopformula
\stoplinecorrection
On Thu, Sep 4, 2014 at 9:11 PM, Trond Thorbjørnsen
Hello,
I have searched for a solution for making proof trees, but I have failed to find a working setup.
Does anyone know of a solution?
I have used bussproofs.sty with LaTeX, and have seen that discussed on this list some years ago: http://www.ntg.nl/pipermail/ntg-context/2010/051489.html (How) can I use this package in ConTeXt?
I have also looked at this metapost package, but it seems this package relies deeper on LaTeX: http://tug.ctan.org/graphics/metapost/contrib/macros/drv/drv.mp
Have anyone other suggestions?
-- Trond Thorbjørnsen
participants (1)
-
Trond Thorbjørnsen