X-Git-Url: http://lambda.jimpryor.net/git/gitweb.cgi?p=lambda.git;a=blobdiff_plain;f=lambda_evaluator.mdwn;h=a3123fdccfb135d9dbc03e4d709fb775427ce379;hp=677e5057853deb41e09d8c4882cbe4ca37c9c193;hb=bd86f6e7780abe4dc7b03ac23c101d3f4b2f8c1f;hpb=6040c9a08f6e2a772d14333c19e006b4e173ca0b

diff --git a/lambda_evaluator.mdwn b/lambda_evaluator.mdwn
index 677e5057..a3123fdc 100644
--- a/lambda_evaluator.mdwn
+++ b/lambda_evaluator.mdwn
@@ -126,7 +126,7 @@ Improvements we hope to add:
 *	returning results in combinator form (the evaluator already accepts combinators as input)
 *	displaying reductions one step at a time
 *	specifying the reduction order and depth
-*	allow other binders such as ∀ and &exists; (though these aren't interpreted as doing anything other than binding variables)
+*	allow other binders such as ∀ and ∃ (though these aren't interpreted as doing anything other than binding variables)
 
 Other Lambda Evaluators/Calculutors
 -----------------------------------