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 ___________________________________________________________________________________