From 3c4c751704e9ac6665bafdd5cc9bf6c83754436e Mon Sep 17 00:00:00 2001
From: Michael Leuschel <leuschel@uni-duesseldorf.de>
Date: Wed, 29 Apr 2020 17:55:40 +0200
Subject: [PATCH] fix typo

---
 info4/kapitel-1/FormaleSprachen.ipynb | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/info4/kapitel-1/FormaleSprachen.ipynb b/info4/kapitel-1/FormaleSprachen.ipynb
index 63632f0..5371160 100644
--- a/info4/kapitel-1/FormaleSprachen.ipynb
+++ b/info4/kapitel-1/FormaleSprachen.ipynb
@@ -95,7 +95,7 @@
    "cell_type": "markdown",
    "metadata": {},
    "source": [
-    "Die Länge eines Wortes $w$ ist die Anzahl der Symbole in $w$. Im Skript schreiben wir $\\|w\\|$, im Notebook benutzen wir ```size(w)```:"
+    "Die Länge eines Wortes $w$ ist die Anzahl der Symbole in $w$. Im Skript schreiben wir $|w|$, im Notebook benutzen wir ```size(w)```:"
    ]
   },
   {
-- 
GitLab