From ddcb99cc42fe32a7a16ba2fe78b9228c354807d0 Mon Sep 17 00:00:00 2001
From: jim <jim@web>
Date: Sat, 20 Nov 2010 17:28:56 -0500
Subject: [PATCH 1/1] added parens around [[Q]]

---
 hints/assignment_7_hint_5.mdwn | 3 +--
 1 file changed, 1 insertion(+), 2 deletions(-)

diff --git a/hints/assignment_7_hint_5.mdwn b/hints/assignment_7_hint_5.mdwn
index 2e7808a1..40df3b81 100644
--- a/hints/assignment_7_hint_5.mdwn
+++ b/hints/assignment_7_hint_5.mdwn
@@ -1,4 +1,3 @@
-
 *	How shall we handle \[[&exist;x]]? As we said, GS&V really tell us how to interpret \[[&exist;xPx]], but for our purposes, what they say about this can be broken naturally into two pieces, such that we represent the update of our starting set `u` with \[[&exist;xPx]] as:
 
 	<pre><code>u >>= \[[&exist;x]] >>= \[[Px]]
@@ -108,7 +107,7 @@
 			
 	That would be the meaning of \[[&exist;]], which we'd use like this:
 
-	<pre><code>\[[&exist;]] \[[Q]]
+	<pre><code>\[[&exist;]] ( \[[Q]] )
 	</code></pre>
 
 	or this:
-- 
2.11.0