From d3260c83db715eace76b8ced49d2c5f368647c21 Mon Sep 17 00:00:00 2001
From: Thomas Voss <thomas.voss@humanwave.nl>
Date: Wed, 4 Sep 2024 17:23:23 +0200
Subject: Use ⊕ as the XOR symbol
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit

---
 src/main.c | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/main.c b/src/main.c
index 6e52ea0..197f63a 100644
--- a/src/main.c
+++ b/src/main.c
@@ -289,7 +289,7 @@ eqnprint(eqn_t *a)
 		[NOT   - NOT] = {"¬", 1},
 		[OR    - NOT] = {"∨", 1},
 		[AND   - NOT] = {"∧", 1},
-		[XOR   - NOT] = {"⊻", 1},
+		[XOR   - NOT] = {"⊕", 1},
 		[IMPL  - NOT] = {"⇒", 1},
 		[EQUIV - NOT] = {"⇔", 1},
 	};
-- 
cgit v1.2.3