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/classify_indexof.html | 12 ++++++------ 1 file changed, 6 insertions(+), 6 deletions(-) (limited to 'docs/help/classify_indexof.html') diff --git a/docs/help/classify_indexof.html b/docs/help/classify_indexof.html index 43cc25fe..20149d89 100644 --- a/docs/help/classify_indexof.html +++ b/docs/help/classify_indexof.html @@ -7,22 +7,22 @@

Square Original Of (⊐)

⊐ 𝕩: Classify

Translate major cells of 𝕩 to unique ID numbers based on first occurrence.

-↗️
       ⊐ 5‿6‿2‿2‿5‿1
+↗️
    ⊐ 5‿6‿2‿2‿5‿1
 ⟨ 0 1 2 2 0 3 ⟩
 
-       a ← 3‿3 ⥊ 0‿1‿2‿9‿0‿9‿0‿1‿2
+    a ← 3‿3 ⥊ 0‿1‿2‿9‿0‿9‿0‿1‿2
 
-       ⊐ a
+    ⊐ a
 ⟨ 0 1 0 ⟩
 

 
𝕨 ⊐ 𝕩: Index Of

 
First index of each major cell of 𝕩 in 𝕨. Rank of 𝕩 must be at least cell rank of 𝕨.

 
If a cell is not found in 𝕨, the length of 𝕨 (≠𝕨) is used for that position.

-↗️
       5‿6‿2‿2‿5‿1 ⊐ 5‿7‿1‿6
+↗️
    5‿6‿2‿2‿5‿1 ⊐ 5‿7‿1‿6
 ⟨ 0 6 5 1 ⟩
 
-       b ← 3‿3 ⥊ 0‿1‿2‿9‿0‿9‿0‿1‿2
+    b ← 3‿3 ⥊ 0‿1‿2‿9‿0‿9‿0‿1‿2
 
-       b ⊐ ≍9‿0‿9
+    b ⊐ ≍9‿0‿9
 ⟨ 1 ⟩
 

-- 
cgit v1.2.3