# HG changeset patch
# User Markus Kaiser <markus.kaiser@in.tum.de>
# Date 1384815221 -3600
# Node ID 41623ba498a9523b66a99b4f549d8ddad12de998
# Parent  dc6b569c57c8038bc7f429366bbfb8c30d4dcc7b
fix alignment issue

diff -r dc6b569c57c8 -r 41623ba498a9 notes/tex/logic.tex
--- 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$ &