From b717bb4c3331bc7bf7ada943ce369246a49bc094 Mon Sep 17 00:00:00 2001
From: bellesmarta <43028405+bellesmarta@users.noreply.github.com>
Date: Mon, 10 Sep 2018 18:55:13 +0200
Subject: [PATCH] Update README.md

---
 README.md | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/README.md b/README.md
index 4d215d5..55c07f3 100644
--- a/README.md
+++ b/README.md
@@ -33,7 +33,7 @@ As it is shown in the above example, a value is assigned to `out` and a constrai
 
 `<--` , `-->` : These operators assign values to signals but do not generate any constraints. This allows to assign to a signal any value involving strange operations like shifts, divisions, modulo operations, etc.  In general, these operators are used together with a `===` operator in order to force the constraint.
 
-`===` : This operator defines a constraint. The constraint must be simplificable to a constraint of the form a*b+c=0, where a,b and c are linear combinations of the signals.
+`===` : This operator defines a constraint. The constraint must be simplificable to a constraint of the form `a*b+c=0`, where `a`, `b` and `c` are linear combinations of the signals.
 
 In the above example, both inputs are forced to be binary by adding the constraints `a*(a-1)===0` and `b*(b-1) === 0`.