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/merge_greaterthan.html | 14 +++++++------- 1 file changed, 7 insertions(+), 7 deletions(-) (limited to 'docs/help/merge_greaterthan.html') diff --git a/docs/help/merge_greaterthan.html b/docs/help/merge_greaterthan.html index 6dcef618..1fe429b2 100644 --- a/docs/help/merge_greaterthan.html +++ b/docs/help/merge_greaterthan.html @@ -9,29 +9,29 @@

Add the rank of an element of 𝕩 to the rank of 𝕩.

All elements must have the same rank.

Returns atomic values as is.

-↗️
      a ← ⟨⟨1, 2⟩, ⟨3, 4⟩⟩
+↗️
    a ← ⟨⟨1, 2⟩, ⟨3, 4⟩⟩
 
-      >a
+    >a
 ┌─     
 ╵ 1 2  
   3 4  
       ┘
 
-      ≢a
+    ≢a
 ⟨ 2 ⟩
 
-      ≢>a
+    ≢>a
 ⟨ 2 2 ⟩
 

 
𝕨 > 𝕩: Greater Than

 
𝕨 and 𝕩 can both be either numbers or characters.

 
Pervasive.

-↗️
      1 > 3
+↗️
    1 > 3
 0
 
-      2‿3‿0 > 3‿1‿0
+    2‿3‿0 > 3‿1‿0
 ⟨ 0 1 0 ⟩
 
-      'a' > 'b'
+    'a' > 'b'
 0
 

-- 
cgit v1.2.3