⌊
⌊ 𝕩
Round 𝕩 down to the nearest integer.
𝕩
Pervasive.
⌊ 1.2‿π‿3‿7.89 ⟨ 1 3 3 7 ⟩
𝕨 ⌊ 𝕩
Minimum of 𝕨 and 𝕩.
𝕨
1 ⌊ 2 1 2‿3 ⌊ 4‿2 ⟨ 2 2 ⟩