Labda regel

1 files changed, 2 insertions, 1 deletions

diff --git a/smurf.sty b/smurf.sty
index 78d1bbd..de227bf 100644
--- a/smurf.sty
+++ b/smurf.sty
@@ -2,6 +2,7 @@
 
 % General
 \def\isdef{\stackrel{\text{def}}{=}}
+\def\axjustifies{\thickness0em\justifies}
 
 % Parsing
 \def\parsepgmop{\mathit{Parse}}
@@ -57,12 +58,12 @@
 
 % Rules
 \def\rule#1#2{[\mbox{#1}_{\mbox{\footnotesize{#2}}}]}
+\def\rlambdans{\rule{$\lambda$}{ns}}
 \def\rheadns{\rule{head}{ns}}
 \def\rgetns{\rule{get}{ns}}
 \def\rputns{\rule{put}{ns}}
 \def\rinputns{\rule{input}{ns}}
 \def\routputns{\rule{output}{ns}}
-
 \def\rexecns{\rule{exec}{ns}}
 
 % Common names