Mercurial > 13ws.ds

diff 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
line wrap: on
line diff
--- a/notes/tex/logic.tex	Mon Nov 18 23:49:37 2013 +0100
+++ b/notes/tex/logic.tex	Mon Nov 18 23:53:41 2013 +0100
@@ -653,7 +653,7 @@
                     \AxiomC{\subproof{$\F$}{$\K$}}
                     \AxiomC{\subproof{$\G$}{$\K$}}
                     \RightLabel{\scriptsize $-\vee$}
-                    \TrinaryInfC{$\K$}
+                    \TrinaryInfC{$\K$\vphantom{$\F\G$}}
                 }
             \\
             $\rightarrow$ &