Require support for dyadic ⟜ in Undo

1 files changed, 8 insertions, 3 deletions

diff --git a/docs/spec/inferred.html b/docs/spec/inferred.html
index ba10d696..33470f4f 100644
--- a/docs/spec/inferred.html
+++ b/docs/spec/inferred.html
@@ -439,9 +439,14 @@
 <td>Dyadic case or constant <code><span class='Function'>𝔽</span></code> only</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 <code><span class='Value'>k</span></code></td>
+<td><code><span class='Modifier2'>⟜</span></code></td>
+<td><code><span class='Brace'>{</span><span class='Function'>𝔾</span><span class='Modifier'>⁼</span><span class='Function'>𝔽</span><span class='Modifier'>⁼</span><span class='Brace'>}</span></code></td>
+<td>Dyadic case</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='Function'>⊢</span></code></td>
+<td>Monadic case, constant <code><span class='Value'>k</span></code></td>
 </tr>
 <tr>
 <td><code><span class='Value'>k</span><span class='Function'>𝔽𝔾</span></code></td>