Add sym.xor (#1397)

2023-06-06 16:37:33 -04:00 · 2023-06-06 16:37:33 -04:00 · e57f143858
parent 6ea98dd940
commit e57f143858
1 changed files with 1 additions and 0 deletions
--- 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: '∵',