<
< 𝕩
Create a unit array containing 𝕩. ((≢𝕩) ≡ ⟨⟩)
𝕩
(≢𝕩) ≡ ⟨⟩
<1 ┌· · 1 ┘ Error: Empty program ≢<1 ⟨⟩
𝕨 < 𝕩
𝕨
Pervasive.
1 < 3 1 2‿3‿0 < 3‿1‿0 ⟨ 1 0 0 ⟩