From 2fa0cf9f5f492aa44af6c2f8b80c570cd3d0caf3 Mon Sep 17 00:00:00 2001
From: Marshall Lochbaum <mwlochbaum@gmail.com>
Date: Mon, 7 Sep 2020 08:28:06 -0400
Subject: =?UTF-8?q?Fix=20dyadic=20=C2=AC=CB=9C=E2=81=BC=20specification?=
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit

---
 docs/spec/inferred.html | 2 +-
 spec/inferred.md        | 2 +-
 2 files changed, 2 insertions(+), 2 deletions(-)

diff --git a/docs/spec/inferred.html b/docs/spec/inferred.html
index 436ec4ce..ee325c5b 100644
--- a/docs/spec/inferred.html
+++ b/docs/spec/inferred.html
@@ -240,7 +240,7 @@
 <tr>
 <td><code><span class='Function'>¬</span><span class='Modifier'>˜</span></code></td>
 <td>(1)</td>
-<td><code><span class='Function'>¬</span></code></td>
+<td><code><span class='Function'>+-</span><span class='Number'>1</span><span class='Modifier'>˙</span></code></td>
 </tr>
 </tbody>
 </table>
diff --git a/spec/inferred.md b/spec/inferred.md
index a507c381..79bbcac3 100644
--- a/spec/inferred.md
+++ b/spec/inferred.md
@@ -78,7 +78,7 @@ The following cases of Self/Swap must be supported. In the table below, a number
 | `√˜` |       | `÷⋆⁼`
 | `∧˜` | `√`   | `∧⁼`
 | `∨˜` | `√⌾¬` | `∨⁼`
-| `¬˜` | (1)   | `¬`
+| `¬˜` | (1)   | `+-1˙`
 
 Inverses of other modifiers and derived functions or modifiers obtained from them are given below. Here the "inverse" of a modifier is another modifier that, if applied to the same operands as the original operator, gives its inverse function. A constant is either a data value or `𝔽˙` for an arbitrary value `𝔽`.
 
-- 
cgit v1.2.3