diff options
| author | Marshall Lochbaum <mwlochbaum@gmail.com> | 2020-09-07 08:47:42 -0400 |
|---|---|---|
| committer | Marshall Lochbaum <mwlochbaum@gmail.com> | 2020-09-07 09:27:02 -0400 |
| commit | 35732743bf7b4b4c7be2103521310c0a3ffaa1c7 (patch) | |
| tree | f476626a164389f593ed4cc286fac9c041f4670e /docs/spec/inferred.html | |
| parent | e65f5b2410330220d2b136f9ba8c4e86bd5a4dfc (diff) | |
Fix ∨⁼
Diffstat (limited to 'docs/spec/inferred.html')
| -rw-r--r-- | docs/spec/inferred.html | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/docs/spec/inferred.html b/docs/spec/inferred.html index 401a0e60..7dc99db6 100644 --- a/docs/spec/inferred.html +++ b/docs/spec/inferred.html @@ -157,7 +157,7 @@ <tr> <td><code><span class='Function'>∨</span></code></td> <td><code><span class='Function'>⊢</span></code></td> -<td><code><span class='Function'>-</span><span class='Modifier'>˜</span><span class='Function'>÷</span><span class='Number'>1</span><span class='Function'>-⊢</span></code></td> +<td><code><span class='Function'>-</span><span class='Modifier'>˜</span><span class='Function'>÷</span><span class='Number'>1</span><span class='Function'>-⊣</span></code></td> </tr> <tr> <td><code><span class='Function'>∾</span></code></td> |