diff --git a/deepmath/holstep/parser.py b/deepmath/holstep/parser.py
index 78e9e3e..1f74e9e 100644
--- a/deepmath/holstep/parser.py
+++ b/deepmath/holstep/parser.py
@@ -30,7 +30,7 @@
               '<=', '==>', '>=', 'MOD', '$', '|-', 'UNION', '\\/', ',',
               'INSERT', 'INTER', 'DIFF', 'PCROSS', 'DELETE', 'HAS_SIZE',
               'EXP', 'PSUBSET', 'DIV', 'CROSS', 'o', '=_c', '<=_c', 'treal_eq',
-              '<_c', 'treal_le', 'treal_mul', 'treal_add', '/\\', '>=_c',
+              '<_c', 'treal_le', 'treal_mul', 'treal_add', '/\\', '>=_c', '>_c',
              }
 _BINDERS_AND_OPERATORS = _BINDERS | _OPERATORS