From 54bd68bd1853a9dd2b05813155e53dcf933d8f14 Mon Sep 17 00:00:00 2001 From: Chris Barker Date: Mon, 6 Dec 2010 15:07:42 -0500 Subject: [PATCH] edits --- manipulating_trees_with_monads.mdwn | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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 -- 2.11.0