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/insert.html | 14 +++++++------- 1 file changed, 7 insertions(+), 7 deletions(-) (limited to 'docs/help/insert.html') diff --git a/docs/help/insert.html b/docs/help/insert.html index 5a01cd21..27e8e15b 100644 --- a/docs/help/insert.html +++ b/docs/help/insert.html @@ -7,25 +7,25 @@

Double Acute Accent (˝)

𝔽˝ 𝕩: Insert

Fold over cells of 𝕩 with 𝔽 from end to start, that is, insert 𝔽 between the major cells of 𝕩.

-↗️
       a ← 3‿3 ⥊ ↕9
+↗️
    a ← 3‿3 ⥊ ↕9
 
-       +˝ a
+    +˝ a
 ⟨ 9 12 15 ⟩
 
-       0‿1‿2 + 3‿4‿5 + 6‿7‿8
+    0‿1‿2 + 3‿4‿5 + 6‿7‿8
 ⟨ 9 12 15 ⟩
 

 
𝕨 𝔽˝ 𝕩: Insert With Initial

 
Monadic insert, but use 𝕨 as initial right argument.

 
If

-↗️
       b ← 3‿3 ⥊ ↕9
+↗️
    b ← 3‿3 ⥊ ↕9
 
-       1‿1‿1 +˝ b
+    1‿1‿1 +˝ b
 ⟨ 10 13 16 ⟩
 
-       1 +˝ b
+    1 +˝ b
 ⟨ 10 13 16 ⟩
 
-       0‿1‿2 + 3‿4‿5 + 6‿7‿8 + 1‿1‿1
+    0‿1‿2 + 3‿4‿5 + 6‿7‿8 + 1‿1‿1
 ⟨ 10 13 16 ⟩
 

-- 
cgit v1.2.3