diff options
| author | Anton Gusev <uartman@mail.ru> | 2024-05-07 16:22:09 +0300 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2024-05-07 13:22:09 +0000 |
| commit | c0576c6b5560a4d253f0b579295a246bf7676ae7 (patch) | |
| tree | 5ad54287e2ed5f8690babf8833f1ae2a83aa8efa | |
| parent | 01b791da83ba63a84eab6c1a1e93bfe13fc5bdbb (diff) | |
Add shorthands for symbols U+22B6 (Original Of) and U+22B7 (Image Of) (#4083)
| -rw-r--r-- | crates/typst/src/symbols/sym.rs | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/crates/typst/src/symbols/sym.rs b/crates/typst/src/symbols/sym.rs index 648cdf79..227607bd 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: '⦰'], |