diff options
author | Karl Berry <karl@freefriends.org> | 2012-08-21 22:30:39 +0000 |
---|---|---|
committer | Karl Berry <karl@freefriends.org> | 2012-08-21 22:30:39 +0000 |
commit | 7b9f0907404079d0b41248fc94a2308340f2e402 (patch) | |
tree | 41d615414663a19733838ec81a2ad396de0f397b /Master/texmf-dist/doc/latex/bussproofs/testbp2.tex | |
parent | 98b09023bc993f9a7970677d1c865b59fee90732 (diff) |
bussproofs (21aug12)
git-svn-id: svn://tug.org/texlive/trunk@27488 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Master/texmf-dist/doc/latex/bussproofs/testbp2.tex')
-rw-r--r-- | Master/texmf-dist/doc/latex/bussproofs/testbp2.tex | 62 |
1 files changed, 62 insertions, 0 deletions
diff --git a/Master/texmf-dist/doc/latex/bussproofs/testbp2.tex b/Master/texmf-dist/doc/latex/bussproofs/testbp2.tex index 8bbdef5375a..3dd30d98bd5 100644 --- a/Master/texmf-dist/doc/latex/bussproofs/testbp2.tex +++ b/Master/texmf-dist/doc/latex/bussproofs/testbp2.tex @@ -235,6 +235,68 @@ Another upside-down example, from Alex Hertel: \bigskip + +\alwaysRootAtBottom +Testing of quaternary and quinary inferences (a bit scrunched due a use of +\verb+\insertBetweenHyps+): +\begin{prooftree} +\insertBetweenHyps{\hskip-1em} +\AxiomC{$A^B$} +\Axiom$A_B\fCenter A_{B_C}$ +\Axiom$A^B\fCenter A^{B^C}$ +\Axiom$A^{B^C}\fCenter A^{B^{C^D}}$ +\Axiom$A^{B^{C^D}}\fCenter A^{B^{C^{D^E}}}A^{B^{C^{D^E}}}$ +\QuinaryInf$X\fCenter XXXXX$ +\UnaryInf$YYYY\fCenter Y$ +\insertBetweenHyps{\hskip-1em} +\Axiom$A^B\fCenter A^{B^C}$ +\Axiom$A^{B^C}\fCenter A^{B^{C^D}}$ +\Axiom$A^{B^{C^D}}\fCenter A^{B^{C^{D^E}}}A^{B^{C^{D^E}}}$ +\QuaternaryInf$X\fCenter XXXXX$ +\UnaryInf$YYYY\fCenter Y$ +\end{prooftree} + +\alwaysRootAtTop +Testing of quaternary and quinary inferences (a bit scrunched due a use of +\verb+\insertBetweenHyps+): +\begin{prooftree} +\insertBetweenHyps{\hskip-1em} +\AxiomC{$A^B$} +\Axiom$A_B\fCenter A_{B_C}$ +\Axiom$A^B\fCenter A^{B^C}$ +\Axiom$A^{B^C}\fCenter A^{B^{C^D}}$ +\Axiom$A^{B^{C^D}}\fCenter A^{B^{C^{D^E}}}A^{B^{C^{D^E}}}$ +\QuinaryInf$X\fCenter XXXXX$ +\UnaryInf$YYYY\fCenter Y$ +\insertBetweenHyps{\hskip-1em} +\Axiom$A^B\fCenter A^{B^C}$ +\Axiom$A^{B^C}\fCenter A^{B^{C^D}}$ +\Axiom$A^{B^{C^D}}\fCenter A^{B^{C^{D^E}}}A^{B^{C^{D^E}}}$ +\QuaternaryInf$X\fCenter XXXXX$ +\UnaryInf$YYYY\fCenter Y$ +\end{prooftree} + +\begin{prooftree} +\insertBetweenHyps{\hskip-1em} +\Axiom$A^B\fCenter A^{B^C}$ +\Axiom$A^{B^C}\fCenter A^{B^{C^D}}$ +\Axiom$A^{B^{C^D}}\fCenter A^{B^{C^{D^E}}}A^{B^{C^{D^E}}}$ +\TrinaryInf$X\fCenter XXXXX$ +\end{prooftree} + +\newenvironment{proof}{\begin{trivlist}\item[]{\bf Proof\ }}% +{\end{trivlist}} +\newenvironment{proofX}{\noindent{\bf Proof\ }}% +{} + +\begin{proofX} +\begin{prooftree} +\Axiom$A^{B^C}\fCenter A^{B^{C^D}}$ +\Axiom$A^{B^{C^D}}\fCenter A^{B^{C^{D^E}}}A^{B^{C^{D^E}}}$ +\BinaryInf$X\fCenter XXXXX$ +\end{prooftree} +\end{proofX} + \newbox\gnBoxA \newdimen\gnCornerHgt \setbox\gnBoxA=\hbox{$\ulcorner$} |