Fix ∨⁼

3 files changed, 3 insertions, 3 deletions

diff --git a/docs/spec/inferred.html b/docs/spec/inferred.html
index 401a0e60..7dc99db6 100644
--- a/docs/spec/inferred.html
+++ b/docs/spec/inferred.html
@@ -157,7 +157,7 @@
 <tr>
 <td><code><span class='Function'>∨</span></code></td>
 <td><code><span class='Function'>⊢</span></code></td>
-<td><code><span class='Function'>-</span><span class='Modifier'>˜</span><span class='Function'>÷</span><span class='Number'>1</span><span class='Function'>-⊢</span></code></td>
+<td><code><span class='Function'>-</span><span class='Modifier'>˜</span><span class='Function'>÷</span><span class='Number'>1</span><span class='Function'>-⊣</span></code></td>
 </tr>
 <tr>
 <td><code><span class='Function'>∾</span></code></td>
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⊸⊑` |
diff --git a/src/r.bqn b/src/r.bqn
index cf65524c..df15d3d7 100644
--- a/src/r.bqn
+++ b/src/r.bqn
@@ -502,7 +502,7 @@ inverse ← {(⊑(0⊏𝕩)⊐<) ⊑ ((1⊏𝕩)∾⟨"⁼: Inverse not found"!0
   ⋆, Log _perv
   √, ⋆⟜2⊘(⋆˜)
   ∧, ⊢_invChk_∧⊘(÷˜)
-  ∨, ⊢_invChk_∨⊘(-˜÷1-⊢)
+  ∨, ⊢_invChk_∨⊘(-˜÷1-⊣)
   ¬, ¬
   <, {IX IsArray𝕩⋄IX 0==𝕩⋄⊑𝕩}⊘(IA∘0)
   ⊢, ⊢