From c0576c6b5560a4d253f0b579295a246bf7676ae7 Mon Sep 17 00:00:00 2001 From: Anton Gusev Date: Tue, 7 May 2024 16:22:09 +0300 Subject: [PATCH] Add shorthands for symbols U+22B6 (Original Of) and U+22B7 (Image Of) (#4083) --- crates/typst/src/symbols/sym.rs | 2 ++ 1 file changed, 2 insertions(+) diff --git a/crates/typst/src/symbols/sym.rs b/crates/typst/src/symbols/sym.rs index 648cdf799..227607bde 100644 --- a/crates/typst/src/symbols/sym.rs +++ b/crates/typst/src/symbols/sym.rs @@ -331,6 +331,8 @@ pub(crate) const SYM: &[(&str, Symbol)] = symbols! { ], equiv: ['≡', not: '≢'], prop: '∝', + original: '⊶', + image: '⊷', // Set theory. emptyset: ['∅', rev: '⦰'],