summaryrefslogtreecommitdiff
path: root/Master/texmf-dist/doc/latex/bussproofs/testbp2.tex
diff options
context:
space:
mode:
authorKarl Berry <karl@freefriends.org>2012-08-21 22:30:39 +0000
committerKarl Berry <karl@freefriends.org>2012-08-21 22:30:39 +0000
commit7b9f0907404079d0b41248fc94a2308340f2e402 (patch)
tree41d615414663a19733838ec81a2ad396de0f397b /Master/texmf-dist/doc/latex/bussproofs/testbp2.tex
parent98b09023bc993f9a7970677d1c865b59fee90732 (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.tex62
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$}