X-Git-Url: http://lambda.jimpryor.net/git/gitweb.cgi?p=lambda.git;a=blobdiff_plain;f=week1.mdwn;h=40c8310fb9b94641ebcbb469bc2ef91ee9882293;hp=92bf533c652b8e6eb9642ad54cf3497bd35e0bc4;hb=8ea42ae9d2bccd541dfb2f631d4c671c351155b8;hpb=615a1769f22e2395ecf958634e916b8ea7b5b63f

diff --git a/week1.mdwn b/week1.mdwn
index 92bf533c..40c8310f 100644
--- a/week1.mdwn
+++ b/week1.mdwn
@@ -437,7 +437,11 @@ Here's how it looks to say the same thing in various of these languages.
 
 		(fun x -> ((fun x -> x) 2) 3)
 
-	and there's no more change of state going on here than there is in <code>&exists;x. (F x and &exists;x (not (F x)))</code>.
+	and there's no more change of state going on here than there is in:
+
+	<pre>
+	<code>&exist;x. (F x and &exist;x (not (F x)))</code>
+	</pre>
 
 
 Some more comparisons between Scheme and OCaml