From 91b5abe9fa8b2394606f0eb82bfaeb54fa8a33e8 Mon Sep 17 00:00:00 2001 From: Marshall Lochbaum Date: Tue, 7 Jul 2020 16:17:58 -0400 Subject: =?UTF-8?q?Use=20#=20instead=20of=20=E2=8D=9D=20for=20comments?= MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit --- doc/logic.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'doc/logic.md') 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 ← ×⌾¬ -- cgit v1.2.3