* Bussproofs or derivation trees
@ 2014-09-04 19:11 Trond Thorbjørnsen
2014-09-05 13:47 ` Trond Thorbjørnsen
0 siblings, 1 reply; 2+ messages in thread
From: Trond Thorbjørnsen @ 2014-09-04 19:11 UTC (permalink / raw)
To: mailing list for ConTeXt users
[-- Attachment #1.1: Type: text/plain, Size: 571 bytes --]
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
[-- Attachment #1.2: Type: text/html, Size: 2701 bytes --]
[-- Attachment #2: Type: text/plain, Size: 485 bytes --]
___________________________________________________________________________________
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
___________________________________________________________________________________
^ permalink raw reply [flat|nested] 2+ messages in thread
* Re: Bussproofs or derivation trees
2014-09-04 19:11 Bussproofs or derivation trees Trond Thorbjørnsen
@ 2014-09-05 13:47 ` Trond Thorbjørnsen
0 siblings, 0 replies; 2+ messages in thread
From: Trond Thorbjørnsen @ 2014-09-05 13:47 UTC (permalink / raw)
To: mailing list for ConTeXt users
[-- Attachment #1.1: Type: text/plain, Size: 1760 bytes --]
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+ntg@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
>
[-- Attachment #1.2: Type: text/html, Size: 4491 bytes --]
[-- Attachment #2: Type: text/plain, Size: 485 bytes --]
___________________________________________________________________________________
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
___________________________________________________________________________________
^ permalink raw reply [flat|nested] 2+ messages in thread
end of thread, other threads:[~2014-09-05 13:47 UTC | newest]
Thread overview: 2+ messages (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2014-09-04 19:11 Bussproofs or derivation trees Trond Thorbjørnsen
2014-09-05 13:47 ` Trond Thorbjørnsen
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for NNTP newsgroup(s).