From f30cbcbfc91e0d0fedc9336326e5ebc4255810b9 Mon Sep 17 00:00:00 2001
From: Jack Grigg <jack@electriccoin.co>
Date: Fri, 12 Feb 2021 14:48:05 +0000
Subject: [PATCH] book: Fix notation in example constraint system

---
 book/src/design/proving-system.md | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/book/src/design/proving-system.md b/book/src/design/proving-system.md
index 280b5cfa..04e1eba1 100644
--- a/book/src/design/proving-system.md
+++ b/book/src/design/proving-system.md
@@ -30,8 +30,8 @@ system:
 - One fixed column $f$.
 - Three custom gates:
   - $a \cdot b \cdot c_{-1} - d = 0$
-  - $f_{-1}(c) = 0$
-  - $f(d \cdot a) = 0$
+  - $f_{-1} \cdot c = 0$
+  - $f \cdot d \cdot a = 0$
 
 ## tl;dr