From f4d45e6721784c23419045b0ec496d8460efc871 Mon Sep 17 00:00:00 2001
From: Marshall Lochbaum <mwlochbaum@gmail.com>
Date: Thu, 11 Feb 2021 15:19:25 -0500
Subject: Dyadic scan inverse

---
 spec/inferred.md | 5 ++++-
 1 file changed, 4 insertions(+), 1 deletion(-)

(limited to 'spec')

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).
-- 
cgit v1.2.3