diff options
| -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 30c4a5d9..d24a6033 100644 --- a/library/src/symbols/sym.rs +++ b/library/src/symbols/sym.rs @@ -396,6 +396,7 @@ pub(crate) const SYM: &[(&str, Symbol)] = symbols! { not: '¬', and: ['∧', big: '⋀', curly: '⋏', dot: '⟑', double: '⩓'], or: ['∨', big: '⋁', curly: '⋎', dot: '⟇', double: '⩔'], + xor: ['⊕', big: '⨁'], models: '⊧', therefore: '∴', because: '∵', |