diff options
Diffstat (limited to 'doc/logic.md')
| -rw-r--r-- | doc/logic.md | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/doc/logic.md b/doc/logic.md index d3bbde18..0e38fb1d 100644 --- a/doc/logic.md +++ b/doc/logic.md @@ -10,7 +10,7 @@ Both valences of `¬` are equivalent to the fork `1+-`. The dyadic valence, call We define: - Not ← 1+- ⍝ also Span + Not ← 1+- # also Span And ← × Or ← ×⌾¬ |