X-Git-Url: http://lambda.jimpryor.net/git/gitweb.cgi?p=lambda.git;a=blobdiff_plain;f=manipulating_trees_with_monads.mdwn;h=87ce974f44dad35532ed324c45c7f5bb714a0134;hp=038cdc3697a4ab501734dac5209ffe2402d0ecd3;hb=54bd68bd1853a9dd2b05813155e53dcf933d8f14;hpb=8f067600295d47935d4ec86e612c189d0e39b0d7

diff --git a/manipulating_trees_with_monads.mdwn b/manipulating_trees_with_monads.mdwn
index 038cdc36..87ce974f 100644
--- a/manipulating_trees_with_monads.mdwn
+++ b/manipulating_trees_with_monads.mdwn
@@ -525,7 +525,7 @@ quantification.
 
 This sentence means (roughly)
 
-    &Forall; x . yesterday(saw x) john
+    ∀ x . yesterday(saw x) john
 
 That is, the quantifier *everyone* contributes a variable in the
 direct object position, and a universal quantifier that takes scope