U+230A "⌊" Left Floor Unicode Character

U+230A "⌊" Left Floor is a typographical symbol primarily used in mathematical notation to denote the floor function, where it pairs with a right floor symbol to enclose an expression whose value is rounded down to the nearest integer less than or equal to it. Originating from the work of mathematician Kenneth E. Iverson in the 1960s for his APL programming language, the character resembles a square bracket missing its top half and is often called a "left floor bracket." Beyond mathematics, it appears in computing contexts, such as in LaTeX for typesetting formulas or in plain text to represent a lower bounding operation, and it is part of the Unicode block for miscellaneous technical symbols.