Mercurial > 13ws.ds
changeset 23:41623ba498a9
fix alignment issue
author | Markus Kaiser <markus.kaiser@in.tum.de> |
---|---|
date | Mon, 18 Nov 2013 23:53:41 +0100 |
parents | dc6b569c57c8 |
children | 140a0060e2f8 |
files | notes/tex/logic.tex |
diffstat | 1 files changed, 1 insertions(+), 1 deletions(-) [+] |
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$ &