added parens around [[Q]]

[lambda.git] / hints / assignment_7_hint_5.mdwn

diff --git a/hints/assignment_7_hint_5.mdwn b/hints/assignment_7_hint_5.mdwn
index 2e7808a..40df3b8 100644 (file)
--- a/hints/assignment_7_hint_5.mdwn
+++ b/hints/assignment_7_hint_5.mdwn
@@ -1,4 +1,3 @@
-

 *      How shall we handle \[[∃x]]? As we said, GS&V really tell us how to interpret \[[∃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 \[[∃xPx]] as:
 
        <pre><code>u >>= \[[&exist;x]] >>= \[[Px]]
 *      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:
 
                        
        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:
        </code></pre>
 
        or this: