diff options
| author | Marshall Lochbaum <mwlochbaum@gmail.com> | 2020-09-07 10:37:59 -0400 |
|---|---|---|
| committer | Marshall Lochbaum <mwlochbaum@gmail.com> | 2020-09-07 10:37:59 -0400 |
| commit | 6e293d5c3c680e8dbe51c543f132ea25da6f1dc4 (patch) | |
| tree | 5912a5e707646a752e9f012170979513b88cea6f /spec | |
| parent | 35732743bf7b4b4c7be2103521310c0a3ffaa1c7 (diff) | |
Change √⁼ from ⋆⟜2 to ט so it's exactly rounded
Diffstat (limited to 'spec')
| -rw-r--r-- | spec/inferred.md | 2 |
1 files changed, 1 insertions, 1 deletions
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` | `⋆˜` +| `√` | `ט` | `⋆˜` | `∧` | | `÷˜` | `¬` | `¬` | `¬` |