aboutsummaryrefslogtreecommitdiff
path: root/help/enclose_lessthan.md
diff options
context:
space:
mode:
authorMarshall Lochbaum <mwlochbaum@gmail.com>2022-01-24 20:18:08 -0500
committerMarshall Lochbaum <mwlochbaum@gmail.com>2022-01-24 20:18:08 -0500
commitbc0245f0be38e547ad76bcd719c6dedbb161f0f4 (patch)
tree3649c29ade245e5a2fb8b2c47e19ac7b2d707a91 /help/enclose_lessthan.md
parent5566ea9429f75b54a8cffb9ebea7747ea651d52c (diff)
Remove extra leading spaces from code examples
Diffstat (limited to 'help/enclose_lessthan.md')
-rw-r--r--help/enclose_lessthan.md8
1 files changed, 4 insertions, 4 deletions
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