From 16022acd45703772f62ca9ed9f8d8ef9288be9b5 Mon Sep 17 00:00:00 2001
From: Marshall Lochbaum <mwlochbaum@gmail.com>
Date: Tue, 21 Jul 2020 15:45:25 -0400
Subject: Custom array formatting in the markdown converter

---
 docs/doc/logic.html | 18 +++++++++++-------
 1 file changed, 11 insertions(+), 7 deletions(-)

(limited to 'docs/doc/logic.html')

diff --git a/docs/doc/logic.html b/docs/doc/logic.html
index d9d8a405..8592ca90 100644
--- a/docs/doc/logic.html
+++ b/docs/doc/logic.html
@@ -16,17 +16,21 @@
 <h2 id="examples">Examples</h2>
 <p>We can form truth tables including the non-integer value one-half:</p>
 <pre>    <span class='Function'>¬</span> <span class='Number'>0</span><span class='Ligature'>‿</span><span class='Number'>0.5</span><span class='Ligature'>‿</span><span class='Number'>1</span>
-1‿0.5‿0
+⟨ 1 0.5 0 ⟩
 
     <span class='Function'>∧</span><span class='Modifier'>⌜˜</span> <span class='Number'>0</span><span class='Ligature'>‿</span><span class='Number'>0.5</span><span class='Ligature'>‿</span><span class='Number'>1</span>
-0    0   0
-0 0.25 0.5
-0  0.5   1
+┌─            
+╵ 0    0   0  
+  0 0.25 0.5  
+  0  0.5   1  
+             ┘
 
     <span class='Function'>∨</span><span class='Modifier'>⌜˜</span> <span class='Number'>0</span><span class='Ligature'>‿</span><span class='Number'>0.5</span><span class='Ligature'>‿</span><span class='Number'>1</span>
-  0  0.5 1
-0.5 0.75 1
-  1    1 1
+┌─            
+╵   0  0.5 1  
+  0.5 0.75 1  
+    1    1 1  
+             ┘
 </pre>
 <p>As with logical And and Or, any value and 0 is 0, while any value or 1 is 1. The other boolean values give the identity elements for the two functions: 1 and any value gives that value, as does 0 or the value.</p>
 <h2 id="why-not-gcd-and-lcm">Why not GCD and LCM?</h2>
-- 
cgit v1.2.3