From f715bb80ead5a06f8f74ffe11d5a059951fdf146 Mon Sep 17 00:00:00 2001 From: T0mstone Date: Sat, 4 Jan 2025 16:58:19 +0100 Subject: [PATCH 1/3] 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 34197bf1..674d62e0 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 Date: Mon, 6 Jan 2025 15:49:23 +0100 Subject: [PATCH 2/3] 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 674d62e0..32386446 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 ∞ From a6572cd6489853215720e6aaf5c90e73c6f7a9ca Mon Sep 17 00:00:00 2001 From: T0mstone Date: Fri, 23 Jan 2026 12:27:58 +0100 Subject: [PATCH 3/3] Rename wedge and vee to meet and join --- src/modules/sym.txt | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) diff --git a/src/modules/sym.txt b/src/modules/sym.txt index 26706ba8..f764ceee 100644 --- a/src/modules/sym.txt +++ b/src/modules/sym.txt @@ -475,7 +475,7 @@ union ∪ .sq.serif ⊔\vs{1} .sq.big ⨆ .sq.double ⩏ - .vee ⩅ + .join ⩅ inter ∩ .serif ∩\vs{1} .and ⩄ @@ -486,7 +486,7 @@ inter ∩ .sq.serif ⊓\vs{1} .sq.big ⨅ .sq.double ⩎ - .wedge ⩄ + .meet ⩄ // Calculus. infinity ∞ @@ -866,12 +866,12 @@ star .op ⋆ .stroked ☆ .filled ★ -wedge ∧ +meet ∧ .big ⋀ .curly ⋏ .dot ⟑ .double ⩓ -vee ∨ +join ∨ .big ⋁ .curly ⋎ .dot ⟇