diff options
Diffstat (limited to 'help/enclose_lessthan.md')
| -rw-r--r-- | help/enclose_lessthan.md | 8 |
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 |