--- a/notes/tex/ue09_notes.tex	Tue Jul 02 00:59:43 2013 +0200
+++ b/notes/tex/ue09_notes.tex	Tue Jul 02 14:16:16 2013 +0200
@@ -33,7 +33,7 @@
     \setbeamercovered{dynamic}
 
     \begin{definition}[Intuitive Berechenbarkeit]
-        Eine Funktion $f : \N^k \mapsto \N$ heißt \alert{intuitiv berechenbar}, wenn es einen Algorithmus gibt, der bei Eingabe $(n_1, \ldots, n_k) \in \N^k$
+        Eine Funktion $f : \N^k \to \N$ heißt \alert{intuitiv berechenbar}, wenn es einen Algorithmus gibt, der bei Eingabe $(n_1, \ldots, n_k) \in \N^k$
         \begin{itemize}
             \item nach \alert{endlich vielen Schritten} mit Ergebnis $f(n_1, \ldots, n_k)$ hält, falls $f(\ldots)$ definiert ist,
             \item und \alert{nicht terminiert}, falls $f(\ldots)$ nicht definiert ist.
@@ -102,7 +102,7 @@
         \begin{itemize}
             \item Die konstante Funktion \alert{0}
             \item Die \alert{Nachfolgerfunktion} $s(n) = n + 1$
-            \item Die \alert{Projektionsfunktion} $\pi_i^k : \N^k \mapsto \N, i \in [k]$
+            \item Die \alert{Projektionsfunktion} $\pi_i^k : \N^k \to \N, i \in [k]$
                 \[ \pi_i^k(x_1, \ldots, x_k) = x_i \]
         \end{itemize}
     \end{definition}
@@ -121,7 +121,7 @@
         \begin{itemize}
             \item Konstante: $0$
             \item Nachfolger: $s(n) = n + 1$
-            \item Projektion: $\pi_i^k : \N^k \mapsto \N$
+            \item Projektion: $\pi_i^k : \N^k \to \N$
             \item Komposition: $f(\bar{x}) = g(h_1(\bar{x}), \ldots, h_k(\bar{x}))$
         \end{itemize}
     \end{block}