diff options
| -rw-r--r-- | library/src/symbols/sym.rs | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/library/src/symbols/sym.rs b/library/src/symbols/sym.rs index 410eff4f..a871d29f 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: '⊣', |