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