summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--library/src/math/accent.rs2
-rw-r--r--library/src/math/attach.rs3
-rw-r--r--library/src/math/op.rs4
-rw-r--r--library/src/math/symbols.rs3
-rw-r--r--library/src/text/symbols.rs2
-rw-r--r--tests/typ/math/accents.typ2
6 files changed, 10 insertions, 6 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>&DiacriticalGrave;</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: '¯',
diff --git a/tests/typ/math/accents.typ b/tests/typ/math/accents.typ
index 7a896e5d..284e86f3 100644
--- a/tests/typ/math/accents.typ
+++ b/tests/typ/math/accents.typ
@@ -5,7 +5,7 @@
$ grave(a),
acute(a),
- circum(a),
+ hat(a),
tilde(a),
macron(a),
breve(a),