From 357f93d3529b186a3a9bc53b3cc996adee670eb6 Mon Sep 17 00:00:00 2001
From: Marshall Lochbaum <mwlochbaum@gmail.com>
Date: Tue, 15 Dec 2020 13:22:43 -0500
Subject: =?UTF-8?q?Don't=20allow=20F`=E2=81=BC=20of=20unit?=
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 e7ebf124..614923bb 100644
--- a/spec/inferred.md
+++ b/spec/inferred.md
@@ -89,7 +89,7 @@ Inverses of other modifiers and derived functions or modifiers obtained from the
 | `¨`     | `{!0<≡𝕩⋄𝕨𝔽⁼¨𝕩}`      |
 | `⌜`     | `{!0<≡𝕩⋄ 𝔽⁼⌜𝕩;}`     | Monadic case only
 | `˘`     | `{!0<=𝕩⋄𝕨𝔽⁼˘𝕩}`      |
-| `` ` `` | `(⊏∾2𝔽⁼˝˘∘↕⊢)⍟(1<≠)` |
+| `` ` `` | `{!0<=𝕩⋄(⊏∾¯1⊸↓𝔽⁼¨1⊸↓)⍟(1<≠)𝕩}` |
 | `F∘G`   | `{𝕨G⁼F⁼𝕩}`           |
 | `F G`   |                      |
 | `·F G`  |                      |
-- 
cgit v1.2.3