diff options
| author | Laurenz <laurmaedje@gmail.com> | 2022-10-04 13:42:49 +0200 |
|---|---|---|
| committer | Laurenz <laurmaedje@gmail.com> | 2022-10-04 13:45:16 +0200 |
| commit | 5a8534a395b500a25cbc46ee15ec031c8231de59 (patch) | |
| tree | a525c447c3243fe315c7ed91923e158df131809b /src/library/mod.rs | |
| parent | 7ef6cb31df0fe1ebec99b1077053a586a349f530 (diff) | |
Parse basic math syntax
Diffstat (limited to 'src/library/mod.rs')
| -rw-r--r-- | src/library/mod.rs | 5 |
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_); |