¬
¬ 𝕩
→full documentation
Logical Not of 𝕩.
𝕩
Pervasive.
¬ 0 1 ¬ 1‿0 ⟨ 0 1 ⟩
𝕨 ¬ 𝕩
Count of numbers in the inclusive range from 𝕩 to 𝕨.
𝕨
3 ¬ 1 3 3‿4 ¬ 0‿2 ⟨ 4 3 ⟩