diff options
Diffstat (limited to 'help/length_notequals.md')
| -rw-r--r-- | help/length_notequals.md | 16 |
1 files changed, 8 insertions, 8 deletions
diff --git a/help/length_notequals.md b/help/length_notequals.md index 1842e072..e3c5c223 100644 --- a/help/length_notequals.md +++ b/help/length_notequals.md @@ -7,15 +7,15 @@ Length of the first dimension of `𝕩`. - ≠ 3 + ≠ 3 - ≠ ⟨1, 2, 3⟩ + ≠ ⟨1, 2, 3⟩ - ≠ 3‿4‿5⥊0 + ≠ 3‿4‿5⥊0 - ≠ 1‿4‿5⥊0 + ≠ 1‿4‿5⥊0 - ≠ 4‿4‿5⥊0 + ≠ 4‿4‿5⥊0 @@ -23,8 +23,8 @@ Length of the first dimension of `𝕩`. [Pervasive.](../doc/arithmetic.md#pervasion) - 1 ≠ 3 + 1 ≠ 3 - 2‿3‿0 ≠ 3‿1‿0 + 2‿3‿0 ≠ 3‿1‿0 - 'a' ≠ 'a' + 'a' ≠ 'a' |