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/after_bind.html | 16 ++++++++-------- 1 file changed, 8 insertions(+), 8 deletions(-) (limited to 'docs/help/after_bind.html') diff --git a/docs/help/after_bind.html b/docs/help/after_bind.html index f14f5386..8ef227af 100644 --- a/docs/help/after_bind.html +++ b/docs/help/after_bind.html @@ -8,33 +8,33 @@

𝔽⟜𝕘 𝕩: Bind

Supply 𝕘 as a right argument to 𝔽 (𝕩 𝔽 𝕘).

𝕘 is a constant, 𝔽 must be dyadic.

-↗️
       -⟜3 9
+↗️
    -⟜3 9
 6
 
-       - 3 9
+    - 3 9
 Error: Double subjects (missing ‿?)
 
-       9 - 3
+    9 - 3
 6
 

 
𝔽⟜𝔾 𝕩: After

 
Apply 𝔾 to 𝕩, and supply it as a right argument to 𝔽 (𝕩 𝔽 (𝔾 𝕩)).

 
𝔽 must be dyadic, 𝔾 must be monadic.

-↗️
       ×⟜- 9
+↗️
    ×⟜- 9
 ¯81
 
-       × - 9
+    × - 9
 ¯1
 
-       9 × (- 9)
+    9 × (- 9)
 ¯81
 

 
𝕨 𝔽⟜𝔾 𝕩: Dyadic After

 
Apply 𝔾 to 𝕩, and supply it as a right argument to 𝔽 (𝕨 𝔽 (𝔾 𝕩)).

 
𝔽 must be dyadic, 𝔾 must be monadic.

-↗️
       2 ×⟜- 1
+↗️
    2 ×⟜- 1
 ¯2
 
-       2 × (- 1)
+    2 × (- 1)
 ¯2
 

-- 
cgit v1.2.3