diff --git a/info4/kapitel-7/TuringMaschineBerechenbarkeit.ipynb b/info4/kapitel-7/TuringMaschineBerechenbarkeit.ipynb
index eb25817d2409a1edd864ee5faed4d73a961bbc72..6f7bacbe4308cb6c6b1ed3111b8c03e256d8ce7d 100644
--- a/info4/kapitel-7/TuringMaschineBerechenbarkeit.ipynb
+++ b/info4/kapitel-7/TuringMaschineBerechenbarkeit.ipynb
@@ -17,7 +17,7 @@
     "  Turingmaschine $M=(\\Sigma, \\Gamma, Z, \\delta ,z_0, \\Box, F)$ \n",
     "  mit $\\Sigma = \\{0,1\\}$ \n",
     "  gibt,\n",
-    "  so dass für alle $n_1, n_2, \\ldots , n_k, m \\in \\nats$:\n",
+    "  so dass für alle $n_1, n_2, \\ldots , n_k, m \\in ℕ$:\n",
     "  \n",
     "* $f(n_1, n_2, \\ldots , n_k) = m$ $\\Leftrightarrow$\n",
     "* $\\exists z\\in F . z_0 \\mbox{bin}(n_1) \\#\n",