6869707172737475767778
addHandler( "exists", new ExistsHandler() ); addHandler( "eval", new EvalHandler() ); addHandler( "pattern", new PatternHandler() ); addHandler( "from", new FromHandler() ); addHandler( "forall", new ForallHandler() );