1 files changed, 1 insertions, 1 deletions

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`  |                      |