| 2007-10-25 08:29:34 |
Dan Watkins |
description |
When assumptions end and start right next to one another, they typeset in an incredibly ugly way. The code below causes such breakage.
\begin{proof}
\state{$p\vee q$}{premise}
\assumption{2}{
\state{$p$}{assumption}
\state{$q\vee p$}{$\vee i_2$ 2}
}
\assumption{2}{
\state{$q$}{assumption}
\state{$q\vee p$}{$\vee i_1$ 4}
}
\state{$q\vee p$}{$\vee e$ 1, 2-3, 4-5}
\end{proof} |
When assumptions end and start right next to one another and are not within another assumption, they typeset in an incredibly ugly way. The code below causes such breakage.
\begin{proof}
\state{$p\vee q$}{premise}
\assumption{2}{
\state{$p$}{assumption}
\state{$q\vee p$}{$\vee i_2$ 2}
}
\assumption{2}{
\state{$q$}{assumption}
\state{$q\vee p$}{$\vee i_1$ 4}
}
\state{$q\vee p$}{$\vee e$ 1, 2-3, 4-5}
\end{proof} |
|
