Re: [NTG-context] Bussproofs or derivation trees

2014-09-05 Thread Trond Thorbjørnsen
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 tthorb+...@gmail.com
wrote:

 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

___
If your question is of interest to others as well, please add an entry to the 
Wiki!

maillist : ntg-context@ntg.nl / http://www.ntg.nl/mailman/listinfo/ntg-context
webpage  : http://www.pragma-ade.nl / http://tex.aanhet.net
archive  : http://foundry.supelec.fr/projects/contextrev/
wiki : http://contextgarden.net
___

[NTG-context] Bussproofs or derivation trees

2014-09-04 Thread 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
___
If your question is of interest to others as well, please add an entry to the 
Wiki!

maillist : ntg-context@ntg.nl / http://www.ntg.nl/mailman/listinfo/ntg-context
webpage  : http://www.pragma-ade.nl / http://tex.aanhet.net
archive  : http://foundry.supelec.fr/projects/contextrev/
wiki : http://contextgarden.net
___