1 files changed, 5 insertions, 0 deletions
diff --git a/src/library/mod.rs b/src/library/mod.rs
index e7617bc0..b42ec071 100644
--- a/src/library/mod.rs
+++ b/src/library/mod.rs
@@ -73,6 +73,11 @@ pub fn new() -> Scope {
 
     // Math.
     std.def_node::<math::MathNode>("math");
+    std.define("sum", "∑");
+    std.define("in", "∈");
+    std.define("arrow", "→");
+    std.define("NN", "ℕ");
+    std.define("RR", "ℝ");
 
     // Utility.
     std.def_fn("type", utility::type_);