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/groupindices_group.html | 10 +++++----- 1 file changed, 5 insertions(+), 5 deletions(-) (limited to 'docs/help/groupindices_group.html') diff --git a/docs/help/groupindices_group.html b/docs/help/groupindices_group.html index 9c0742c1..91d4ea8f 100644 --- a/docs/help/groupindices_group.html +++ b/docs/help/groupindices_group.html @@ -8,10 +8,10 @@

⊔ 𝕩: Group Indices

Group the indices of the major cells of 𝕩 by their respective values.

𝕩 must consist of integers. Groups start from 0.

-↗️
       ⊔ 4‿5‿6‿6‿4‿7‿5
+↗️
    ⊔ 4‿5‿6‿6‿4‿7‿5
 ⟨ ⟨⟩ ⟨⟩ ⟨⟩ ⟨⟩ ⟨ 0 4 ⟩ ⟨ 1 6 ⟩ ⟨ 2 3 ⟩ ⟨ 5 ⟩ ⟩
 
-       (↕8) ≍ ⊔ 4‿5‿6‿6‿4‿7‿5
+    (↕8) ≍ ⊔ 4‿5‿6‿6‿4‿7‿5
 ┌─                                           
 ╵ 0  1  2  3  4       5       6       7      
   ⟨⟩ ⟨⟩ ⟨⟩ ⟨⟩ ⟨ 0 4 ⟩ ⟨ 1 6 ⟩ ⟨ 2 3 ⟩ ⟨ 5 ⟩  
@@ -21,12 +21,12 @@
 
Group the major cells of 𝕩 by their respective indices in 𝕨.

 
If an element corresponds to ¯1, it is excluded from grouping.

 
An extra element can be added to the end of 𝕨 to specify length of the result.

-↗️
       1‿0‿1‿2‿2‿3‿3  ⊔ 4‿5‿6‿6‿4‿7‿5
+↗️
    1‿0‿1‿2‿2‿3‿3  ⊔ 4‿5‿6‿6‿4‿7‿5
 ⟨ ⟨ 5 ⟩ ⟨ 4 6 ⟩ ⟨ 6 4 ⟩ ⟨ 7 5 ⟩ ⟩
 
-       1‿0‿1‿¯1‿¯1‿3‿3  ⊔ 4‿5‿6‿6‿4‿7‿5
+    1‿0‿1‿¯1‿¯1‿3‿3  ⊔ 4‿5‿6‿6‿4‿7‿5
 ⟨ ⟨ 5 ⟩ ⟨ 4 6 ⟩ ⟨⟩ ⟨ 7 5 ⟩ ⟩
 
-       1‿0‿1‿¯1‿¯1‿3‿3‿10  ⊔ 4‿5‿6‿6‿4‿7‿5
+    1‿0‿1‿¯1‿¯1‿3‿3‿10  ⊔ 4‿5‿6‿6‿4‿7‿5
 ⟨ ⟨ 5 ⟩ ⟨ 4 6 ⟩ ⟨⟩ ⟨ 7 5 ⟩ ⟨⟩ ⟨⟩ ⟨⟩ ⟨⟩ ⟨⟩ ⟨⟩ ⟩
 

-- 
cgit v1.2.3