From 9187d8f05e7d179a9424f808675f3c1da3b3840f Mon Sep 17 00:00:00 2001 From: Marcell Vazquez-Chanlatte Date: Thu, 27 Sep 2018 22:45:06 -0700 Subject: [PATCH] Update README.md --- README.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/README.md b/README.md index b048afe..891f8ee 100644 --- a/README.md +++ b/README.md @@ -37,7 +37,7 @@ import mtl # - Lowercase strings denote atomic predicates. phi0 = mtl.parse('atomicpred') -# - Binary operators need to be surrounded by parens. +# - infix operators need to be surrounded by parens. phi1 = mtl.parse('((a & b & c) | d | e)') phi2 = mtl.parse('(a -> b) & (~a -> c)') phi3 = mtl.parse('(a -> b -> c)')