From: jim <jim@web>
Date: Sat, 20 Nov 2010 22:28:56 +0000 (-0500)
Subject: added parens around [[Q]]
X-Git-Url: http://lambda.jimpryor.net/git/gitweb.cgi?p=lambda.git;a=commitdiff_plain;h=ddcb99cc42fe32a7a16ba2fe78b9228c354807d0;hp=1b8b12fae7afa0d52bdfc9914640929f4a167b7f

added parens around [[Q]]
---

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: