From 8962431a7dce03507e3f84fb8e66a349a04fe057 Mon Sep 17 00:00:00 2001
From: Evi
Date: Sat, 14 May 2016 15:58:35 +0200
Subject: verwerken feedback

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

(limited to 'rulesquotify.tex')

diff --git a/rulesquotify.tex b/rulesquotify.tex
index d218fd6..5c1d090 100644
--- a/rulesquotify.tex
+++ b/rulesquotify.tex
@@ -26,14 +26,14 @@ $$
 		{\ip}{\op}{\st}
 	\using{\rquotifyns}
 	\qquad
-	\text{met $(s, stk') = \pop{\stk}$.}
+	\text{met $ \pop{\stk} = (s, stk')$.}
 \end{prooftree}
 $$
 
 $$
 	\escape{c~s} =
 		\begin{cases}
-			\texttt{\textbackslash}~c~s & \text{als
+			\texttt{\textbackslash}~c~\escape{s} & \text{als
 				$c\in\{\texttt{"},\texttt{\textbackslash},\text{het LF-karakter}\}$} \\
 			c~\escape{s}                & \text{anderszins}
 		\end{cases}
-- 
cgit v1.2.3

