From 6e293d5c3c680e8dbe51c543f132ea25da6f1dc4 Mon Sep 17 00:00:00 2001 From: Marshall Lochbaum Date: Mon, 7 Sep 2020 10:37:59 -0400 Subject: =?UTF-8?q?Change=20=E2=88=9A=E2=81=BC=20from=20=E2=8B=86=E2=9F=9C?= =?UTF-8?q?2=20to=20=C3=97=CB=9C=20so=20it's=20exactly=20rounded?= MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit --- spec/inferred.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'spec') diff --git a/spec/inferred.md b/spec/inferred.md index 03eaefc9..43e6221e 100644 --- a/spec/inferred.md +++ b/spec/inferred.md @@ -22,7 +22,7 @@ For arithmetic functions the implementations below may in some cases not give th | `-` | `-` | `-` | `×` | | `÷˜` | `÷` | `÷` | `÷` -| `√` | `⋆⟜2` | `⋆˜` +| `√` | `ט` | `⋆˜` | `∧` | | `÷˜` | `¬` | `¬` | `¬` -- cgit v1.2.3