From 92a2f01b7488432df8bd6ed37b7565e39cd76f93 Mon Sep 17 00:00:00 2001
From: jaroeichler <88505041+jaroeichler@users.noreply.github.com>
Date: Thu, 22 Feb 2024 09:36:32 +0100
Subject: [PATCH] Add symbols for arrows with tilde (#3434)

---
 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 a672b6750..d54be8ba4 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: '↞',