diff --git a/hm.cf b/hm.cf
index 83e95da..174787a 100644
--- a/hm.cf
+++ b/hm.cf
@@ -19,6 +19,7 @@ Decl. Decl  ::= Id ":" TypeSig ;
 -- todo custom [Decl]
 
 TypeFun. TypeSig  ::= TypeSig1 "→"  TypeSig ;
+TypeFun. TypeSig  ::= TypeSig1 "->" TypeSig ;
 TypeApp. TypeSig1 ::= Id [TypeSig2] ;
 TypeVar. TypeSig2 ::= Id ;
 coercions TypeSig 2;
@@ -26,7 +27,8 @@ coercions TypeSig 2;
 separator nonempty TypeSig2 "" ;
 
 ExpLet.   Exp  ::= "let" "{" [Assign] "}" "in" Exp1 ;
-ExpAbs.   Exp1 ::= "λ" [Id] "." Exp1 ;
+ExpAbs.   Exp1 ::= "λ"  [Id] "." Exp1 ;
+ExpAbs.   Exp1 ::= "\\" [Id] "." Exp1 ;
 ExpApp.   Exp1 ::= Exp2 [Exp2] ;
 ExpVar.   Exp2 ::= Id ;