Symbol improvements

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`         | `˘`       |

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
+/// indicate a bottom attachment and the hat (`^`) to indicate a top attachment.
-/// attachment.
 ///
 /// ## Example
 /// ```

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) };

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: '∂',

library/src/text/symbols.rs

@@ -150,7 +150,7 @@ symbols! {
     breve: '˘',
     caret: '‸',
     caron: 'ˇ',
-    circum: '^',
+    hat: '^',
     diaer: '¨',
     grave: '`',
     macron: '¯',

tests/typ/math/accents.typ

@@ -5,7 +5,7 @@
 
 $ grave(a),
   acute(a),
-  circum(a),
+  hat(a),
   tilde(a),
   macron(a),
   breve(a),