From bc0245f0be38e547ad76bcd719c6dedbb161f0f4 Mon Sep 17 00:00:00 2001 From: Marshall Lochbaum Date: Mon, 24 Jan 2022 20:18:08 -0500 Subject: Remove extra leading spaces from code examples --- docs/help/solo_couple.html | 14 +++++++------- 1 file changed, 7 insertions(+), 7 deletions(-) (limited to 'docs/help/solo_couple.html') diff --git a/docs/help/solo_couple.html b/docs/help/solo_couple.html index ad526c1c..0f3f5579 100644 --- a/docs/help/solo_couple.html +++ b/docs/help/solo_couple.html @@ -7,39 +7,39 @@

Tape ()

𝕩: Solo

Add a dimension to 𝕩.

-↗️
       1
+↗️
     1
 ⟨ 1 ⟩
 
 
-      ≍≍ 1
+    ≍≍ 1
 ┌─   
 ╵ 1  
     ┘
 
 
-     ≍≍≍ 1
+    ≍≍≍ 1
 ┌─   
 ╎ 1  
     ┘
 
 
-     ≍≍ 1234
+    ≍≍ 1234
 ┌─         
 ╎ 1 2 3 4  
           ┘
 
 
-     ≍≍≍ 1234
+    ≍≍≍ 1234
 ┌─         
 ┆ 1 2 3 4  
           ┘
 

𝕨 𝕩: Couple

Join 𝕨 and 𝕩 along a newly created axis.

-↗️
       1  3
+↗️
    1  3
 ⟨ 1 3 ⟩
 
-       12  23
+    12  23
 ┌─     
 ╵ 1 2  
   2 3  
-- 
cgit v1.2.3