From f413a35977d9b7aef77a023b4a1b378434473b05 Mon Sep 17 00:00:00 2001
From: Marshall Lochbaum <mwlochbaum@gmail.com>
Date: Thu, 17 Dec 2020 15:54:54 -0500
Subject: Extend required inverse support to any 3-train with a constant left
 or right tine

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

(limited to 'spec')

diff --git a/spec/inferred.md b/spec/inferred.md
index 614923bb..c8bc8736 100644
--- a/spec/inferred.md
+++ b/spec/inferred.md
@@ -96,12 +96,12 @@ Inverses of other modifiers and derived functions or modifiers obtained from the
 | `○`     | `{𝔾⁼(𝔾𝕨)𝔽⁼𝕩}`        |
 | `⁼`     | `{r←𝔽𝕩⋄!𝕩≡𝔽⁼r⋄r}`    |
 | `⌾`     | `{𝔽⁼⌾𝔾}`             | Verify result for computational Under
-| `⍟n`    | `⍟(-n)`              | Atomic number n
+| `⍟n`    | `⍟(-n)`              | Atomic number `n`
 | `⊘`     | `{(𝔽⁼)⊘(𝔾⁼)}`        |
 | `⊸`     | `{𝔽⊸(𝔾⁼)}`           | Dyadic case or constant `𝔽` only
-| `k𝔽⊢`   | `k𝔽⁼⊢`               | Constant k
-| `𝔽⟜k𝕩`  | `k𝔽˜⁼𝕩`              | Constant k
-| `⊢𝔽K`   |                      | Constant k
+| `𝔽⟜k𝕩`  | `k𝔽˜⁼𝕩`              | Constant `k`
+| `k𝔽𝔾`   | `𝔾⁼k𝔽⁼⊢`             | Constant `k`
+| `𝔽𝔾K`   | `𝔽⁼k𝔾˜⁼⊢`            | Constant `k`
 
 ## Under
 
-- 
cgit v1.2.3