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

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]