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

---
 docs/spec/inferred.html | 20 ++++++++++----------
 1 file changed, 10 insertions(+), 10 deletions(-)

(limited to 'docs/spec')

diff --git a/docs/spec/inferred.html b/docs/spec/inferred.html
index 6dc72400..f18197f3 100644
--- a/docs/spec/inferred.html
+++ b/docs/spec/inferred.html
@@ -307,7 +307,7 @@
 <tr>
 <td><code><span class='Modifier2'>⍟</span><span class='Value'>n</span></code></td>
 <td><code><span class='Modifier2'>⍟</span><span class='Paren'>(</span><span class='Function'>-</span><span class='Value'>n</span><span class='Paren'>)</span></code></td>
-<td>Atomic number n</td>
+<td>Atomic number <code><span class='Value'>n</span></code></td>
 </tr>
 <tr>
 <td><code><span class='Modifier2'>⊘</span></code></td>
@@ -320,19 +320,19 @@
 <td>Dyadic case or constant <code><span class='Function'>𝔽</span></code> only</td>
 </tr>
 <tr>
-<td><code><span class='Value'>k</span><span class='Function'>𝔽⊢</span></code></td>
-<td><code><span class='Value'>k</span><span class='Function'>𝔽</span><span class='Modifier'>⁼</span><span class='Function'>⊢</span></code></td>
-<td>Constant k</td>
-</tr>
-<tr>
 <td><code><span class='Function'>𝔽</span><span class='Modifier2'>⟜</span><span class='Value'>k𝕩</span></code></td>
 <td><code><span class='Value'>k</span><span class='Function'>𝔽</span><span class='Modifier'>˜⁼</span><span class='Value'>𝕩</span></code></td>
-<td>Constant k</td>
+<td>Constant <code><span class='Value'>k</span></code></td>
 </tr>
 <tr>
-<td><code><span class='Function'>⊢𝔽K</span></code></td>
-<td></td>
-<td>Constant k</td>
+<td><code><span class='Value'>k</span><span class='Function'>𝔽𝔾</span></code></td>
+<td><code><span class='Function'>𝔾</span><span class='Modifier'>⁼</span><span class='Value'>k</span><span class='Function'>𝔽</span><span class='Modifier'>⁼</span><span class='Function'>⊢</span></code></td>
+<td>Constant <code><span class='Value'>k</span></code></td>
+</tr>
+<tr>
+<td><code><span class='Function'>𝔽𝔾K</span></code></td>
+<td><code><span class='Function'>𝔽</span><span class='Modifier'>⁼</span><span class='Value'>k</span><span class='Function'>𝔾</span><span class='Modifier'>˜⁼</span><span class='Function'>⊢</span></code></td>
+<td>Constant <code><span class='Value'>k</span></code></td>
 </tr>
 </tbody>
 </table>
-- 
cgit v1.2.3