diff --git a/src/Lean/Parser/Term.lean b/src/Lean/Parser/Term.lean
index f100848810..89a36a091a 100644
--- a/src/Lean/Parser/Term.lean
+++ b/src/Lean/Parser/Term.lean
@@ -188,7 +188,8 @@ def matchAltsWhereDecls := leading_parser matchAlts >> optional whereDecls
 
 @[builtinTermParser] def noindex := leading_parser "no_index " >> termParser maxPrec
 
-@[builtinTermParser] def binrel  := leading_parser "binrel% " >> ident >> ppSpace >> termParser maxPrec >> termParser maxPrec
+@[builtinTermParser] def binrel := leading_parser "binrel% " >> ident >> ppSpace >> termParser maxPrec >> termParser maxPrec
+@[builtinTermParser] def binop  := leading_parser "binop% " >> ident >> ppSpace >> termParser maxPrec >> termParser maxPrec
 
 @[builtinTermParser] def forInMacro := leading_parser "forIn% " >> termParser maxPrec >> termParser maxPrec >> termParser maxPrec