# HG changeset patch
# User Markus Kaiser <markus.kaiser@in.tum.de>
# Date 1384625135 -3600
# Node ID 845ff8b2cbc6d60d40e7a6b0629eb957873d243f
# Parent  8408cf61d46b2e91612ad161ed9ac54514f57753
trailing whitespace

diff -r 8408cf61d46b -r 845ff8b2cbc6 notes/tex/basics.tex
--- a/notes/tex/basics.tex	Wed Nov 13 14:33:22 2013 +0100
+++ b/notes/tex/basics.tex	Sat Nov 16 19:05:35 2013 +0100
@@ -1023,7 +1023,7 @@
         \begin{column}{.7\textwidth}
             % FIXME: onlys around A_\vee needed for "correct" fadein
             \begin{align}
-                (x \wedge y) \vee z 
+                (x \wedge y) \vee z
                 \uncover<3->{\equiv &\hphantom{{}\wedge {}}\only<3->{A_\vee}\\
                     &\structure{\wedge (A_\vee \leftrightarrow A_\wedge \vee z)}\\
                     &\alert{\wedge (A_\wedge \leftrightarrow x \wedge y)}\\}