Add ⊬ to symbols.rs (#1318)

2023-05-30 18:05:24 +02:00 · 2023-05-30 18:05:24 +02:00 · 789a54f9e5
commit 789a54f9e5
parent 7e07b61046
1 changed files with 2 additions and 0 deletions
--- 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: '⊣',