From 50ba089c11902226776cde353622b4aee2397cba Mon Sep 17 00:00:00 2001 From: T0mstone Date: Mon, 30 Jun 2025 23:42:48 +0200 Subject: [PATCH 1/3] Add bowties and deprecate `join` --- src/modules/sym.txt | 10 ++++++++++ 1 file changed, 10 insertions(+) diff --git a/src/modules/sym.txt b/src/modules/sym.txt index c3bb93a..6ac19a1 100644 --- a/src/modules/sym.txt +++ b/src/modules/sym.txt @@ -584,10 +584,20 @@ diameter ⌀ interleave ⫴ .big ⫼ .struck ⫵ +@deprecated: `join` is deprecated, use `bowtie.large` instead join ⨝ .r ⟖ .l ⟕ .l.r ⟗ +bowtie + .stroked ⋈ + .filled ⧓ + .filled.l ⧑ + .filled.r ⧒ + .large ⨝ + .large.r ⟖ + .large.l ⟕ + .large.l.r ⟗ hourglass .stroked ⧖ .filled ⧗ From 2b7653609355c9d24f9de44e090184f59d3a6ae0 Mon Sep 17 00:00:00 2001 From: T0mstone Date: Mon, 30 Jun 2025 23:44:16 +0200 Subject: [PATCH 2/3] "It's bigger than that, Chris, it's large" Whoops, we use "big" and not "large" for these. --- src/modules/sym.txt | 10 +++++----- 1 file changed, 5 insertions(+), 5 deletions(-) diff --git a/src/modules/sym.txt b/src/modules/sym.txt index 6ac19a1..f30f37a 100644 --- a/src/modules/sym.txt +++ b/src/modules/sym.txt @@ -584,7 +584,7 @@ diameter ⌀ interleave ⫴ .big ⫼ .struck ⫵ -@deprecated: `join` is deprecated, use `bowtie.large` instead +@deprecated: `join` is deprecated, use `bowtie.big` instead join ⨝ .r ⟖ .l ⟕ @@ -594,10 +594,10 @@ bowtie .filled ⧓ .filled.l ⧑ .filled.r ⧒ - .large ⨝ - .large.r ⟖ - .large.l ⟕ - .large.l.r ⟗ + .big ⨝ + .big.r ⟖ + .big.l ⟕ + .big.l.r ⟗ hourglass .stroked ⧖ .filled ⧗ From 847cdcdf5ff21687128f987ff5f40ab9525547e6 Mon Sep 17 00:00:00 2001 From: T0mstone Date: Thu, 3 Jul 2025 23:35:45 +0200 Subject: [PATCH 3/3] Add stroked to big and change order --- 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 f30f37a..f3189d3 100644 --- a/src/modules/sym.txt +++ b/src/modules/sym.txt @@ -591,13 +591,13 @@ join ⨝ .l.r ⟗ bowtie .stroked ⋈ + .stroked.big ⨝ + .stroked.big.l ⟕ + .stroked.big.r ⟖ + .stroked.big.l.r ⟗ .filled ⧓ .filled.l ⧑ .filled.r ⧒ - .big ⨝ - .big.r ⟖ - .big.l ⟕ - .big.l.r ⟗ hourglass .stroked ⧖ .filled ⧗