Cat en Quotify

1 files changed, 6 insertions, 2 deletions

diff --git a/smurf.sty b/smurf.sty
index 01d3d5b..8191582 100644
--- a/smurf.sty
+++ b/smurf.sty
@@ -11,8 +11,8 @@
 \def\parsestr#1{\parsestrop\left(#1\right)}
 \def\unescapeop{\mathit{unescape}}
 \def\unescape#1{\unescapeop\left(#1\right)}
-\def\quo{\mathit{quo}}
-\def\quo#1{\quoop\left(#1\right)}
+\def\escapeop{\mathit{escape}}
+\def\escape#1{\escapeop\left(#1\right)}
 
 % Types
 \def\Pgm{\mathit{Pgm}}
@@ -61,7 +61,11 @@
 % Rules
 \def\rule#1#2{[\mbox{#1}_{\mbox{\footnotesize{#2}}}]}
 \def\rlambdans{\rule{$\lambda$}{ns}}
+\def\rpushns{\rule{push}{ns}}
 \def\rheadns{\rule{head}{ns}}
+\def\rtailns{\rule{tail}{ns}}
+\def\rquotifyns{\rule{quotify}{ns}}
+\def\rcatns{\rule{cat}{ns}}
 \def\rgetns{\rule{get}{ns}}
 \def\rputns{\rule{put}{ns}}
 \def\rinputns{\rule{input}{ns}}