diff options
| author | Laurenz <laurmaedje@gmail.com> | 2023-01-31 13:00:20 +0100 |
|---|---|---|
| committer | Laurenz <laurmaedje@gmail.com> | 2023-01-31 13:00:20 +0100 |
| commit | c2bd114914513c8ff450b9dcc67aa9b17cf275e1 (patch) | |
| tree | 7eab496ff3c1b38afb63881eca400bf7cd553aba /library/src/math/op.rs | |
| parent | 69985e59bc13a19ad9aa3530d5e208460528ef1b (diff) | |
Symbol improvements
Diffstat (limited to 'library/src/math/op.rs')
| -rw-r--r-- | library/src/math/op.rs | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/library/src/math/op.rs b/library/src/math/op.rs index 5665a637..6e52cea5 100644 --- a/library/src/math/op.rs +++ b/library/src/math/op.rs @@ -58,6 +58,10 @@ macro_rules! ops { limits: ops!(@limit $($tts)*), }.pack() );)* + + let dif = |d| HNode::strong(THIN).pack() + UprightNode(TextNode::packed(d)).pack(); + math.define("dif", dif('d')); + math.define("Dif", dif('D')); } }; (@name $name:ident) => { stringify!($name) }; |