Add symbols for arrows with tilde (#3434)

This commit is contained in:
jaroeichler 2024-02-22 09:36:32 +01:00 committed by GitHub
parent 56ecd6c806
commit 92a2f01b74
No known key found for this signature in database
GPG Key ID: B5690EEEBB952194

View File

@ -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: '',