diff options
| author | jaroeichler <88505041+jaroeichler@users.noreply.github.com> | 2024-02-22 09:36:32 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2024-02-22 08:36:32 +0000 |
| commit | 92a2f01b7488432df8bd6ed37b7565e39cd76f93 (patch) | |
| tree | 77e67119bc9809d41c14bcd87e28b28c49d5a461 | |
| parent | 56ecd6c806ab32a7cca5289500504e398198d283 (diff) | |
Add symbols for arrows with tilde (#3434)
| -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 a672b675..d54be8ba 100644 --- a/crates/typst/src/symbols/sym.rs +++ b/crates/typst/src/symbols/sym.rs @@ -600,6 +600,7 @@ pub(crate) const SYM: &[(&str, Symbol)] = symbols! { r.stop: '⇥', r.stroked: '⇨', r.tail: '↣', + r.tilde: '⥲', r.triple: '⇛', r.twohead.bar: '⤅', r.twohead: '↠', @@ -626,6 +627,7 @@ pub(crate) const SYM: &[(&str, Symbol)] = symbols! { l.stop: '⇤', l.stroked: '⇦', l.tail: '↢', + l.tilde: '⭉', l.triple: '⇚', l.twohead.bar: '⬶', l.twohead: '↞', |