# HG changeset patch
# User Markus Kaiser <markus.kaiser@in.tum.de>
# Date 1385418013 -3600
# Node ID f52078f78e6078ebc3e49b171235aa1db4da691b
# Parent  4436f8006ebd2778f653d69a0f494f7098d1eebf
fix arrows in early slides

diff -r 4436f8006ebd -r f52078f78e60 notes/tex/basics.tex
--- a/notes/tex/basics.tex	Mon Nov 25 23:16:14 2013 +0100
+++ b/notes/tex/basics.tex	Mon Nov 25 23:20:13 2013 +0100
@@ -80,7 +80,7 @@
                 \end{description}
             \item Relationen zwischen Mengen
                 \begin{description}[\qquad\qquad]
-                    \item[$B \subseteq A$] $B$ ist Teilmenge von $A$, \quad $x \in B \Rightarrow x \in A$
+                    \item[$B \subseteq A$] $B$ ist Teilmenge von $A$, \quad $x \in B \rightarrow x \in A$
                     \item[$B \subset A$] $B$ ist echte Teilmenge von $A$
                     \item[$B = A$] $B \subseteq A$ und $A \subseteq B$
                 \end{description}
@@ -373,11 +373,11 @@
             \item[reflexiv] $ \forall a\hphantom{, b, c} \in M.\ (a, a) \in R$
             \item[total] $ \forall a, b\hphantom{, c} \in M.\  (a, b) \in R \vee (b, a) \in R$
                 \medskip
-            \item[symmetrisch] $ \forall a, b\hphantom{, c} \in M.\  (a, b) \in R \hphantom{{}\wedge (b, a) \in R}\Rightarrow (b,a ) \in R$
-            \item[asymmetrisch] $ \forall a, b\hphantom{, c} \in M.\  (a, b) \in R \hphantom{{}\wedge (b, a) \in R}\Rightarrow (b,a ) \not\in R$
-            \item[antisymmetrisch] $ \forall a, b\hphantom{, c} \in M.\  (a, b) \in R \wedge (b, a) \in R \Rightarrow a \equiv b$
+            \item[symmetrisch] $ \forall a, b\hphantom{, c} \in M.\  (a, b) \in R \hphantom{{}\wedge (b, a) \in R}\rightarrow (b,a ) \in R$
+            \item[asymmetrisch] $ \forall a, b\hphantom{, c} \in M.\  (a, b) \in R \hphantom{{}\wedge (b, a) \in R}\rightarrow (b,a ) \not\in R$
+            \item[antisymmetrisch] $ \forall a, b\hphantom{, c} \in M.\  (a, b) \in R \wedge (b, a) \in R \rightarrow a \equiv b$
                 \medskip
-            \item[transitiv] $ \forall a, b, c \in M.\  (a, b) \in R \wedge (b, c) \in R \Rightarrow (a, c) \in R$
+            \item[transitiv] $ \forall a, b, c \in M.\  (a, b) \in R \wedge (b, c) \in R \rightarrow (a, c) \in R$
         \end{description}
     \end{block}
 
diff -r 4436f8006ebd -r f52078f78e60 notes/ue02_notes.pdf
Binary file notes/ue02_notes.pdf has changed
diff -r 4436f8006ebd -r f52078f78e60 notes/ue06_notes.pdf
Binary file notes/ue06_notes.pdf has changed