From 789a54f9e5fcebf4a3b3945d36ce3db7674b0fbc Mon Sep 17 00:00:00 2001
From: Matthias Georg Mayer <Matthias.Georg.Mayer@Gmail.com>
Date: Tue, 30 May 2023 18:05:24 +0200
Subject: [PATCH] =?UTF-8?q?Add=20=E2=8A=AC=20to=20symbols.rs=20(#1318)?=
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit

---
 library/src/symbols/sym.rs | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/library/src/symbols/sym.rs b/library/src/symbols/sym.rs
index 410eff4ff..a871d29fd 100644
--- a/library/src/symbols/sym.rs
+++ b/library/src/symbols/sym.rs
@@ -718,7 +718,9 @@ pub(crate) const SYM: &[(&str, Symbol)] = symbols! {
     ],
     tack: [
         r: '⊢',
+        r.not: '⊬',
         r.long: '⟝',
+        r.short: '⊦',
         r.double: '⊨',
         r.double.not: '⊭',
         l: '⊣',