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