diff options
Diffstat (limited to 'library/src')
| -rw-r--r-- | library/src/symbols/sym.rs | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/library/src/symbols/sym.rs b/library/src/symbols/sym.rs index b49704bb..410eff4f 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: '⫞', |