# HG changeset patch
# User Markus Kaiser <markus.kaiser@in.tum.de>
# Date 1384869358 -3600
# Node ID 140a0060e2f8bce3f5651e0975ce8197e350d8f2
# Parent  41623ba498a9523b66a99b4f549d8ddad12de998
fix neg elimination

diff -r 41623ba498a9 -r 140a0060e2f8 notes/tex/logic.tex
--- a/notes/tex/logic.tex	Mon Nov 18 23:53:41 2013 +0100
+++ b/notes/tex/logic.tex	Tue Nov 19 14:55:58 2013 +0100
@@ -589,8 +589,8 @@
 \end{frame}
 
 {
-    \newcommand{\F}{\phi}
-    \newcommand{\G}{\psi}
+    \newcommand{\F}{\tau}
+    \newcommand{\G}{\varphi}
     \newcommand{\K}{\chi}
     \newcommand{\subproof}[2]{%
         \begin{tikzpicture}[y=.9em]
@@ -681,7 +681,7 @@
                     \AxiomC{$\F$}
                     \AxiomC{$\neg\F$}
                     \RightLabel{\scriptsize $-\neg$}
-                    \UnaryInfC{$\bot$}
+                    \BinaryInfC{$\bot$}
                 }
         \end{tabu}
     \end{frame}