Merge pull request #1051 from bingcicle/fix-logup-documentation

fix(docs): constraint expression multiplies same term twice

docs/src/design/lookups/logup.md

@@ -37,7 +37,7 @@ $$
 Since constraints must be expressed without division, the actual constraint which is enforced will be the following:
 
 > $$
-b' \cdot (\alpha - v) \cdot (\alpha - x) = b \cdot (\alpha - v) \cdot (\alpha - v) + m \cdot (\alpha - x) - (\alpha - v) \text{ | degree} = 3
+b' \cdot (\alpha - v) \cdot (\alpha - x) = b \cdot (\alpha - x) \cdot (\alpha - v) + m \cdot (\alpha - x) - (\alpha - v) \text{ | degree} = 3
 $$
 
 In general, we will write constraints within these docs using the previous form, since it's clearer and more readable.