add r.double.not (#1315)

2025-05-17 02:25:27 +08:00 · 2023-05-24 16:46:06 +02:00 · 2023-05-24 16:46:06 +02:00 · b9d03be975
commit b9d03be975
parent 6af94be34a
1 changed files with 1 additions and 0 deletions
--- 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: '⫞',