From b6a241cad232d920154986781c6f09d83dc1b6f6 Mon Sep 17 00:00:00 2001
From: Martin Haug <mhaug@live.de>
Date: Mon, 8 May 2023 17:49:25 +0200
Subject: [PATCH] Left and right double tack

---
 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 b535203c3..2cbd7ad37 100644
--- a/library/src/symbols/sym.rs
+++ b/library/src/symbols/sym.rs
@@ -719,9 +719,11 @@ pub(crate) const SYM: &[(&str, Symbol)] = symbols! {
     tack: [
         r: '⊢',
         r.long: '⟝',
+        r.double: '⊨',
         l: '⊣',
         l.long: '⟞',
         l.short: '⫞',
+        l.double: '⫤',
         t: '⊥',
         t.big: '⟘',
         t.double: '⫫',