From 35732743bf7b4b4c7be2103521310c0a3ffaa1c7 Mon Sep 17 00:00:00 2001
From: Marshall Lochbaum <mwlochbaum@gmail.com>
Date: Mon, 7 Sep 2020 08:47:42 -0400
Subject: =?UTF-8?q?Fix=20=E2=88=A8=E2=81=BC?=
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit

---
 spec/inferred.md | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'spec')

diff --git a/spec/inferred.md b/spec/inferred.md
index 058710e5..03eaefc9 100644
--- a/spec/inferred.md
+++ b/spec/inferred.md
@@ -57,7 +57,7 @@ Several primitives are easily undone, but doing so is not important for BQN prog
 |-----|--------|-------
 | `×` | `⊢`    |
 | `∧` | `⊢`    |
-| `∨` | `⊢`    | `-˜÷1-⊢`
+| `∨` | `⊢`    | `-˜÷1-⊣`
 | `∾` |        | `{(=○=⟜𝕩◶1‿≠𝕨)↓𝕩}`
 | `≍` | `⊏`    | `¯1⊸⊏`
 | `↑` | `¯1⊸⊑` |
-- 
cgit v1.2.3