X-Git-Url: https://git.stderr.nl/gitweb?p=matthijs%2Fmaster-project%2Freport.git;a=blobdiff_plain;f=Utils%2FLambda.tex;h=4d9de33bb1116eb64b82dd06af0faf28c3cc980c;hp=fe1fb6ffcf405a506ce9c818b280b74573043237;hb=42ec9c78da464de1ed58509a6edaa454c6a225bc;hpb=a5a906640aceb70689f66e53b5175d93bc9505ff

diff --git a/Utils/Lambda.tex b/Utils/Lambda.tex
index fe1fb6f..4d9de33 100644
--- a/Utils/Lambda.tex
+++ b/Utils/Lambda.tex
@@ -61,6 +61,8 @@ draw b;
 \installprettytype [LAM] [LAM]
 % Define \startlambda \stoplambda
 \definetyping[lambda][option=LAM,style=sans,before=\startboxed,after=\stopboxed]
+% Define \startunboxedlambda \stopunboxedlambda
+\definetyping[unboxedlambda][option=LAM,style=sans]
 
 % Define \lam{} (since \lambda is taken)
 \definetype[lam][option=LAM,style=sans]