diff --git a/library/src/symbols/sym.rs b/library/src/symbols/sym.rs
index 30c4a5d90..d24a6033e 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: '∵',