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() {