diff --git a/info4/kapitel-7/TuringMaschineBerechenbarkeit.ipynb b/info4/kapitel-7/TuringMaschineBerechenbarkeit.ipynb
index 7584e7525c6ba9af4dc5847be48a331bdef8d159..eb25817d2409a1edd864ee5faed4d73a961bbc72 100644
--- a/info4/kapitel-7/TuringMaschineBerechenbarkeit.ipynb
+++ b/info4/kapitel-7/TuringMaschineBerechenbarkeit.ipynb
@@ -12,7 +12,7 @@
     "Funktionen auffassen.\n",
     "\n",
     "\n",
-    " Eine Funktion $f: \\nats^k \\rightarrow \\nats$ heißt \n",
+    " Eine Funktion $f: ℕ^k \\rightarrow ℕ$ heißt \n",
     " __Turing-berechenbar__, falls es eine deterministische\n",
     "  Turingmaschine $M=(\\Sigma, \\Gamma, Z, \\delta ,z_0, \\Box, F)$ \n",
     "  mit $\\Sigma = \\{0,1\\}$ \n",
@@ -32,7 +32,7 @@
    "cell_type": "markdown",
    "metadata": {},
    "source": [
-    " Die (total definierte) \\alert{\\em Nachfolgerfunktion} $f: \\nats \\rightarrow \\nats$ mit\n",
+    " Die (total definierte) __Nachfolgerfunktion__ $f: ℕ \\rightarrow ℕ$ mit\n",
     "* $f:n\\rightarrow n+1$\n",
     "ist Turing-berechenbar."
    ]