From e57f143858dbdc4f90784d422e81ca1cc12871d0 Mon Sep 17 00:00:00 2001
From: figsoda <figsoda@pm.me>
Date: Tue, 6 Jun 2023 16:37:33 -0400
Subject: [PATCH] Add sym.xor (#1397)

---
 library/src/symbols/sym.rs | 1 +
 1 file changed, 1 insertion(+)

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: '∵',