More math syntax

1 files changed, 1 insertions, 5 deletions

diff --git a/library/src/lib.rs b/library/src/lib.rs
index d549c1cd..af5c252b 100644
--- a/library/src/lib.rs
+++ b/library/src/lib.rs
@@ -52,11 +52,7 @@ fn scope() -> Scope {
     std.def_node::<math::MathNode>("math");
     std.def_node::<math::AtomNode>("atom");
     std.def_node::<math::FracNode>("frac");
-    std.define("sum", "∑");
-    std.define("in", "∈");
-    std.define("arrow", "→");
-    std.define("NN", "ℕ");
-    std.define("RR", "ℝ");
+    std.def_node::<math::SqrtNode>("sqrt");
 
     // Layout.
     std.def_node::<layout::PageNode>("page");