What ⌋ means
⌋ closes a floor expression, which rounds down. ⌊3.8⌋ = 3 and ⌊−3.8⌋ = −4: floor always rounds toward minus infinity, not toward zero.
The idea is older than the shape. Gauss wrote the greatest-integer function with ordinary square brackets, [x], in 1808. Kenneth Iverson introduced the name “floor” and this half-bracket pair in 1962, in his programming notation, alongside the ceiling pair for rounding up.
Technical notation for maths and code; it carries no conversational tone.
⌋ alone is not the floor function — it needs ⌊ to open it.
Don't confuse it with
2Questions people ask
1Why does ⌋ look different in different fonts?
Font design. Unicode's chart glyphs are not mandatory, so stroke height, bar length and spacing vary; the character's role as the right floor delimiter does not.
How to type ⌋
⌋\230BCodes and encoding1 code points
A visible symbol can contain several code points. JS .length counts UTF-16 units; UTF-8 counts bytes.

