From e0ddd93e7fc4dabeae211a4a382b8c85195647af Mon Sep 17 00:00:00 2001
From: W-M-T
Date: Wed, 27 Apr 2016 17:25:34 +0200
Subject: another small fix

---
 rulesexec.tex | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/rulesexec.tex b/rulesexec.tex
index f24bafd..9b4b939 100644
--- a/rulesexec.tex
+++ b/rulesexec.tex
@@ -51,8 +51,8 @@ $$
 	\parsestr s =
 		\begin{cases}
 			\lambda:\parsepgm{s'} & \text{als $s=cs'$ met $c=$`''`}\\
-            `\backslash`~`''`~\parsestr{s'} & \text{als $s=cs'$ met $c=$`$\backslash$`~`''`}\\
-            c~\parsestr{s'} & \text{als $s=cs'$ met $c \in\Char\backslash\{`''`\}$}\\
+            `\backslash`~k~\parsestr{s'} & \text{als $s=cs'$ met $c=$`$\backslash$`~$k$ en $k\in\Char$}\\
+            c~\parsestr{s'} & \text{als $s=cs'$ met $c \in\Char\backslash\{`''`, `\backslash`\}$}\\
 		\end{cases}
 $$
 Het tweede geval van $\parsestrop$ zorgt ervoor dat ge-escapete aanhalingstekens de string niet beëindigen.
-- 
cgit v1.2.3