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