aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorThomas Voss <mail@thomasvoss.com> 2024-09-04 17:23:23 +0200
committerThomas Voss <mail@thomasvoss.com> 2024-09-04 17:23:23 +0200
commitd3260c83db715eace76b8ced49d2c5f368647c21 (patch)
treef2c7f7199f3ae2a5d9c084b7366bf51cb68b4576
parent9edec05ac4069962d92f60efc66b8305e2d08cc5 (diff)
Use ⊕ as the XOR symbol
-rw-r--r--src/main.c2
1 files changed, 1 insertions, 1 deletions
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},
};