From f715bb80ead5a06f8f74ffe11d5a059951fdf146 Mon Sep 17 00:00:00 2001
From: T0mstone <realt0mstone@gmail.com>
Date: Sat, 4 Jan 2025 16:58:19 +0100
Subject: [PATCH 1/2] Add `wedge` and `vee` duplicates of `and` and `or`

---
 src/modules/sym.txt | 10 ++++++++++
 1 file changed, 10 insertions(+)

diff --git a/src/modules/sym.txt b/src/modules/sym.txt
index 34197bf..674d62e 100644
--- a/src/modules/sym.txt
+++ b/src/modules/sym.txt
@@ -712,6 +712,16 @@ star
   .op ⋆
   .stroked ☆
   .filled ★
+wedge ∧
+  .big ⋀
+  .curly ⋏
+  .dot ⟑
+  .double ⩓
+vee ∨
+  .big ⋁
+  .curly ⋎
+  .dot ⟇
+  .double ⩔
 
 // Arrows, harpoons, and tacks.
 arrow

From dc03d287604041958825ce3e109a4c6281b9c975 Mon Sep 17 00:00:00 2001
From: T0mstone <realt0mstone@gmail.com>
Date: Mon, 6 Jan 2025 15:49:23 +0100
Subject: [PATCH 2/2] Also add sect.wedge and union.vee

---
 src/modules/sym.txt | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/src/modules/sym.txt b/src/modules/sym.txt
index 674d62e..3238644 100644
--- a/src/modules/sym.txt
+++ b/src/modules/sym.txt
@@ -423,6 +423,7 @@ union ∪
   .sq ⊔
   .sq.big ⨆
   .sq.double ⩏
+  .vee ⩅
 sect ∩
   .and ⩄
   .big ⋂
@@ -431,6 +432,7 @@ sect ∩
   .sq ⊓
   .sq.big ⨅
   .sq.double ⩎
+  .wedge ⩄
 
 // Calculus.
 infinity ∞