diff --git a/korekursion.tex b/korekursion.tex
index 919575ab8667870f0cf51800ac2379ab73b120ef..1c08bd09fcb14d506f8d4c5d969240f3bb81b168 100644
--- a/korekursion.tex
+++ b/korekursion.tex
@@ -36,7 +36,7 @@ right (slant s) = slant s
 	genr (slant s) = const (hd s)
 \end{verbatim}
 \item Definieren\points{3} Sie korekursiv eine Funktion
-  $\mathrm{layers}: \mathrm{S} a -> \mathrm{IT} a$, die einen Baum
+  $\mathrm{layers}: \mathrm{S} a \rightarrow \mathrm{IT} a$, die einen Baum
   erzeugt, dessen $n$'tes Element alle Knoten der $n$'ten Ebene beschriftet.
 
   \emph{Beispiel:} Wenn $s$ der Stream $1, 2, 3, \ldots$ der natürlichen