verwerken feedback

1 files changed, 2 insertions, 2 deletions

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}