≠
≠ 𝕩
→full documentation
Length of the first dimension of 𝕩.
𝕩
≠ 3 1 ≠ ⟨1, 2, 3⟩ 3 ≠ 3‿4‿5⥊0 3 ≠ 1‿4‿5⥊0 1 ≠ 4‿4‿5⥊0 4
𝕨 ≠ 𝕩
Do argument atoms not match?
Pervasive.
1 ≠ 3 1 2‿3‿0 ≠ 3‿1‿0 ⟨ 1 1 0 ⟩ 'a' ≠ 'a' 0