From 2f9cb340043213e0100887255629c2256781bb62 Mon Sep 17 00:00:00 2001
From: Marshall Lochbaum <mwlochbaum@gmail.com>
Date: Sun, 21 Nov 2021 16:53:49 -0500
Subject: =?UTF-8?q?Implement=20=E2=8B=88=E2=81=BC?=
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit

---
 src/r1.bqn | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

(limited to 'src')

diff --git a/src/r1.bqn b/src/r1.bqn
index 5d280c0e..a43a5621 100644
--- a/src/r1.bqn
+++ b/src/r1.bqn
@@ -838,7 +838,8 @@ PrimInverse ← INF _lookup_ ⟨
   '⊢', ⊢
   '⊣', ⊢⊘(⊢⊣IX∘≡)
   '∾', IA∘0 ⊘ {d←𝕩-○=𝕨⋄IX(0⊸≤∧≤⟜1)d⋄l←d◶1‿≠𝕨⋄IX l≤≠𝕩⋄IX 𝕨≡d◶⟨⊏,l⊸↑⟩𝕩⋄l↓𝕩}
-  '≍', {IX 1=≠𝕩⋄⊏𝕩} ⊘ {IX 2=≠𝕩⋄IX 𝕨≡⊏𝕩⋄1⊏𝕩}
+  '≍', {IX  1 =≠𝕩⋄ ⊏𝕩} ⊘ {IX  2 =≠𝕩⋄IX 𝕨≡ ⊏𝕩⋄1⊏𝕩}
+  '⋈', {IX ⟨1⟩≡≢𝕩⋄0⊑𝕩} ⊘ {IX ⟨2⟩≡≢𝕩⋄IX 𝕨≡0⊑𝕩⋄1⊑𝕩}
   '↑', ¯1⊸⊑_invChk_↑ ⊘ (IA∘0)
   '↓',  0⊸⊑_invChk_↓ ⊘ (IA∘0)
   '↕', ≢_invChk_↕ ⊘ (IA∘0)  # Should trace edge and invChk
-- 
cgit v1.2.3