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 | |
| parent | 69985e59bc13a19ad9aa3530d5e208460528ef1b (diff) | |
Symbol improvements
Diffstat (limited to 'library/src')
| -rw-r--r-- | library/src/math/accent.rs | 2 | ||||
| -rw-r--r-- | library/src/math/attach.rs | 3 | ||||
| -rw-r--r-- | library/src/math/op.rs | 4 | ||||
| -rw-r--r-- | library/src/math/symbols.rs | 3 | ||||
| -rw-r--r-- | library/src/text/symbols.rs | 2 |
5 files changed, 9 insertions, 5 deletions
diff --git a/library/src/math/accent.rs b/library/src/math/accent.rs index 9183b93b..8cae4268 100644 --- a/library/src/math/accent.rs +++ b/library/src/math/accent.rs @@ -34,7 +34,7 @@ const ACCENT_SHORT_FALL: Em = Em::new(0.5); /// | ------------ | --------------- | --------- | /// | Grave | `grave` | <code>`</code> | /// | Acute | `acute` | `´` | -/// | Circumflex | `circum` | `^` | +/// | Circumflex | `hat` | `^` | /// | Tilde | `tilde` | `~` | /// | Macron | `macron` | `¯` | /// | Breve | `breve` | `˘` | diff --git a/library/src/math/attach.rs b/library/src/math/attach.rs index 0d774839..3f4d28d2 100644 --- a/library/src/math/attach.rs +++ b/library/src/math/attach.rs @@ -5,8 +5,7 @@ use super::*; /// /// ## Syntax /// This function also has dedicated syntax: Use the underscore (`_`) to -/// indicate a bottom attachment and the circumflex (`^`) to indicate a top -/// attachment. +/// indicate a bottom attachment and the hat (`^`) to indicate a top attachment. /// /// ## Example /// ``` 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) }; diff --git a/library/src/math/symbols.rs b/library/src/math/symbols.rs index 34330d47..c68616fa 100644 --- a/library/src/math/symbols.rs +++ b/library/src/math/symbols.rs @@ -330,7 +330,7 @@ symbols! { // Logic. forall: '∀', exists: ['∃', "not": '∄'], - top: '⟙', + top: '⊤', bot: '⊥', not: '¬', and: [ @@ -412,6 +412,7 @@ symbols! { ], prop: '∝', divides: ['∣', "not": '∤'], + compose: '∘', // Miscellaneous. diff: '∂', diff --git a/library/src/text/symbols.rs b/library/src/text/symbols.rs index 8bc6222a..17ab6f4f 100644 --- a/library/src/text/symbols.rs +++ b/library/src/text/symbols.rs @@ -150,7 +150,7 @@ symbols! { breve: '˘', caret: '‸', caron: 'ˇ', - circum: '^', + hat: '^', diaer: '¨', grave: '`', macron: '¯', |