From 3d980fe4a39fcc83ac7e4a32ba2a6cd8643b3e89 Mon Sep 17 00:00:00 2001 From: Malo <57839069+MDLC01@users.noreply.github.com> Date: Mon, 26 Aug 2024 18:17:33 +0200 Subject: [PATCH] Add miscellaneous symbols from Miscellaneous Mathematical Symbols-B (#4831) --- crates/typst/src/symbols/sym.rs | 15 +++++++++++++-- 1 file changed, 13 insertions(+), 2 deletions(-) diff --git a/crates/typst/src/symbols/sym.rs b/crates/typst/src/symbols/sym.rs index 7520c14ed..d506880b3 100644 --- a/crates/typst/src/symbols/sym.rs +++ b/crates/typst/src/symbols/sym.rs @@ -186,10 +186,12 @@ pub(crate) const SYM: &[(&str, Symbol)] = symbols! { circle.arrow: '⟴', circle.big: '⨁', dot: '∔', + double: '⧺', minus: '±', small: '﹢', square: '⊞', triangle: '⨹', + triple: '⧻', ], minus: [ '−', @@ -395,7 +397,12 @@ pub(crate) const SYM: &[(&str, Symbol)] = symbols! { ], // Calculus. - infinity: '∞', + infinity: [ + '∞', + bar: '⧞', + incomplete: '⧜', + tie: '⧝', + ], oo: '∞', diff: '∂', // Deprecation planned partial: '∂', @@ -444,7 +451,11 @@ pub(crate) const SYM: &[(&str, Symbol)] = symbols! { // Function and category theory. compose: '∘', convolve: '∗', - multimap: '⊸', + multimap: ['⊸', double: '⧟'], + + // Game theory. + tiny: '⧾', + miny: '⧿', // Number theory. divides: ['∣', not: '∤'],