From bc0245f0be38e547ad76bcd719c6dedbb161f0f4 Mon Sep 17 00:00:00 2001
From: Marshall Lochbaum <mwlochbaum@gmail.com>
Date: Mon, 24 Jan 2022 20:18:08 -0500
Subject: Remove extra leading spaces from code examples

---
 help/enclose_lessthan.md | 8 ++++----
 1 file changed, 4 insertions(+), 4 deletions(-)

(limited to 'help/enclose_lessthan.md')

diff --git a/help/enclose_lessthan.md b/help/enclose_lessthan.md
index d0d4404f..8f8da581 100644
--- a/help/enclose_lessthan.md
+++ b/help/enclose_lessthan.md
@@ -7,10 +7,10 @@
 Create a unit array containing `𝕩`. (`(≢<𝕩) ≡ ⟨⟩`)
 
 
-          <1
+        <1
 
 
-          ≢<1
+        ≢<1
 
 
 
@@ -20,6 +20,6 @@ Create a unit array containing `𝕩`. (`(≢<𝕩) ≡ ⟨⟩`)
 
 [Pervasive.](../doc/arithmetic.md#pervasion)
 
-          1 < 3
+        1 < 3
 
-          2‿3‿0 < 3‿1‿0
+        2‿3‿0 < 3‿1‿0
-- 
cgit v1.2.3