Dyadic scan inverse

1 files changed, 4 insertions, 1 deletions

diff --git a/spec/inferred.md b/spec/inferred.md
index 37e1ae97..8d5693a6 100644
--- a/spec/inferred.md
+++ b/spec/inferred.md
@@ -142,7 +142,6 @@ Inverses of other modifiers and derived functions or modifiers obtained from the
 | `¨`     | `{!0<≡𝕩⋄𝕨𝔽⁼¨𝕩}`      |
 | `⌜`     | `{!0<≡𝕩⋄ 𝔽⁼⌜𝕩;}`     | Monadic case only
 | `˘`     | `{!0<=𝕩⋄𝕨𝔽⁼˘𝕩}`      |
-| `` ` `` | `{!0<=𝕩⋄(⊏∾¯1⊸↓𝔽⁼¨1⊸↓)⍟(1<≠)𝕩}` |
 | `F∘G`   | `{𝕨G⁼F⁼𝕩}`           |
 | `F G`   |                      |
 | `·F G`  |                      |
@@ -157,6 +156,10 @@ Inverses of other modifiers and derived functions or modifiers obtained from the
 | `k𝔽𝔾`   | `𝔾⁼{𝕨𝔽𝔾𝕩}(k𝔽⁼⊢)`     | Constant `k`
 | `𝔽𝔾K`   | `𝔽⁼k𝔾˜⁼⊢`            | Constant `k`
 
+| Mod     | Inverse 
+|---------|---------
+| `` ` `` | `{!0<=𝕩 ⋄ 𝕨 (»𝔽⁼¨⊢){(⊏∾⊏𝔽1⊸↓)⍟(1<≠)⊘𝔽} 𝕩}`
+
 ## Under
 
 The Under 2-modifier `⌾` conceptually applies its left operand under the action of its right operand. Setting `z←𝕨𝔽⌾𝔾𝕩`, it satisfies `(𝕨𝔽○𝔾𝕩) ≡ 𝔾z`. We might say that `𝔾` transforms values to a new domain, and `⌾𝔾` lifts actions `𝔽` performed in this domain to the original domain of values. For example, addition in the logarithmic domain corresponds to multiplication in the linear domain: `+⌾(⋆⁼)` is `×` (but less precise if computed in floating point).