1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
|
# bussproofs package
# Matthew Bertucci 10/8/2021 for v1.1
\AxiomC{text}
\UnaryInfC{text}
\BinaryInfC{text}
\TrinaryInfC{text}
\QuaternaryInfC{text}
\QuinaryInfC{text}
\DisplayProof
\begin{prooftree}
\end{prooftree}
\Axiom$%<expr1%> \fCenter %<expr2%>$
\UnaryInf$%<expr1%> \fCenter %<expr2%>$
\BinaryInf$%<expr1%> \fCenter %<expr2%>$
\TrinaryInf$%<expr1%> \fCenter %<expr2%>$
\QuaternaryInf$%<expr1%> \fCenter %<expr2%>$
\QuinaryInf$%<expr1%> \fCenter %<expr2%>$
\fCenter
\LeftLabel{text}
\RightLabel{text}
\noLine
\singleLine
\doubleLine
\solidLine
\dottedLine
\dashedLine
\alwaysNoLine
\alwaysSingleLine
\alwaysDoubleLine
\alwaysSolidLine
\alwaysDottedLine
\alwaysDashedLine
\rootAtTop
\alwaysRootAtTop
\rootAtBottom
\alwaysRootAtBottom
\proofSkipAmount#*
\ScoreOverhang#*
\extraVskip#*
\labelSpacing#*
\defaultHypSeparation#*
\insertBetweenHyps{content}#*
\kernHyps{kern%l}#*
\ruleScoreFiller#*
\dottedScoreFiller#*
\dashedBuildScore#*
\EnableBpAbbreviations#*
\AX$%<expr1%> \fCenter %<expr2%>$#*
\AXC{text}#*
\UI$%<expr1%> \fCenter %<expr2%>$#*
\UIC{text}#*
\BI$%<expr1%> \fCenter %<expr2%>$#*
\BIC{text}#*
\TI$%<expr1%> \fCenter %<expr2%>$#*
\TIC{text}#*
\LL{text}#*
\RL{text}#*
\DP#*
\centerAlignProof#*
\bottomAlignProof#*
\normalAlignProof#*
|
