X-Git-Url: http://lambda.jimpryor.net/git/gitweb.cgi?p=lambda.git;a=blobdiff_plain;f=code%2Fparse.js;fp=code%2Fparse.js;h=5cdeb40e6210d126593905eb725d22fc0b15ddac;hp=08ac5f047377cf2ba9b9b9ee394a834866b49f80;hb=3a88ab1dea7db2189cbe9b72f2ec17986b8d199d;hpb=062cb1a9e19ce79b4121b6f7a863da40272eb4c3;ds=sidebyside

diff --git a/code/parse.js b/code/parse.js
index 08ac5f04..5cdeb40e 100644
--- a/code/parse.js
+++ b/code/parse.js
@@ -140,6 +140,9 @@ var make_parse = function () {
     symbol("(");
     symbol("\\").handler = lambda_handler;
     symbol("lambda").handler = lambda_handler;
+    symbol("\u03bb").handler = lambda_handler;
+    // symbol("\u2203").handler = exists_handler;
+    // symbol("\u2200").handler = forall_handler;
     symbol(".");
 
 	function make_constants() {