1 files changed, 10 insertions, 10 deletions
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>