Mercurial > 13ws.ds

comparison notes/tex/logic.tex @ 23:41623ba498a9

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
fix alignment issue
author Markus Kaiser <markus.kaiser@in.tum.de>
date Mon, 18 Nov 2013 23:53:41 +0100
parents dc6b569c57c8
children 140a0060e2f8
comparison
equal deleted inserted replaced
22:dc6b569c57c8 23:41623ba498a9
651 \topproof{ 651 \topproof{
652 \AxiomC{$\F \vee \G$} 652 \AxiomC{$\F \vee \G$}
653 \AxiomC{\subproof{$\F$}{$\K$}} 653 \AxiomC{\subproof{$\F$}{$\K$}}
654 \AxiomC{\subproof{$\G$}{$\K$}} 654 \AxiomC{\subproof{$\G$}{$\K$}}
655 \RightLabel{\scriptsize $-\vee$} 655 \RightLabel{\scriptsize $-\vee$}
656 \TrinaryInfC{$\K$} 656 \TrinaryInfC{$\K$\vphantom{$\F\G$}}
657 } 657 }
658 \\ 658 \\
659 $\rightarrow$ & 659 $\rightarrow$ &
660 \topproof{ 660 \topproof{
661 \AxiomC{\subproof{$\F$}{$\G$}} 661 \AxiomC{\subproof{$\F$}{$\G$}}