Left and right double tack

2023-05-08 17:49:25 +02:00 · 2023-05-08 17:49:25 +02:00 · b6a241cad2
commit b6a241cad2
parent 6ad14f55d5
1 changed files with 2 additions and 0 deletions
--- 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: '⫫',