changeset 27:f52078f78e60

fix arrows in early slides
author Markus Kaiser <markus.kaiser@in.tum.de>
date Mon, 25 Nov 2013 23:20:13 +0100
parents 4436f8006ebd
children f639b478a28b
files notes/tex/basics.tex notes/ue02_notes.pdf notes/ue06_notes.pdf
diffstat 3 files changed, 5 insertions(+), 5 deletions(-) [+]
line wrap: on
line diff
--- 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}
 
Binary file notes/ue02_notes.pdf has changed
Binary file notes/ue06_notes.pdf has changed