What does the mathematical symbol [x] mean?

The mathematical symbol [x] most commonly denotes the floor function, which maps a real number x to the greatest integer less than or equal to x. For example, [3.7] = 3, [2] = 2, and [-1.3] = -2. This operation effectively rounds a number down to the nearest integer, with careful attention to negative numbers where "down" means toward negative infinity, not toward zero. The notation is well-established in number theory and discrete mathematics, providing a concise way to handle integer parts and discretization of continuous quantities. It is crucial to distinguish this from the related ceiling function, which rounds up, and from the integer part or truncation function, which rounds toward zero, as these produce different results for negative inputs.

The function's utility arises from its ability to quantify discrete counts and periodic repetitions within analytical expressions. A classic application is in counting multiples of an integer within a given range; the number of positive integers less than or equal to n that are divisible by d is given by [n/d]. It is also fundamental in the analysis of algorithms for determining time complexity involving divisions, and in digital signal processing for quantization operations. The floor function's discontinuous nature means it is not differentiable in the ordinary sense, but its properties are extensively studied in analytic number theory, often appearing in summations and inequalities where integer constraints are enforced within seemingly continuous formulas.

While the square bracket notation for the floor function is prevalent, particularly in older texts and in certain regional mathematical traditions, it is not universal. The modern and more unambiguous notation, championed by Kenneth E. Iverson in the 1960s, is ⌊x⌋ for the floor and ⌈x⌉ for the ceiling. The square bracket notation can sometimes lead to confusion, as the same symbol is also widely used to denote the nearest integer function, or in other contexts like closed intervals, the integer part function, or equivalence class representatives. Therefore, the precise meaning of [x] is always context-dependent and should be explicitly defined in any serious mathematical work to prevent misinterpretation.

The implications of using this function are significant for precision in mathematical communication. In computational settings, most programming languages implement a floor function (often called `floor()`), but their behavior for negative numbers must be verified, as some implementations of integer conversion truncate toward zero. This distinction is not merely academic; it affects the correctness of algorithms in cryptography, numerical analysis, and combinatorial calculations. Understanding that [x] formally represents the floor function provides the necessary foundation for correctly interpreting a vast body of mathematical literature and for constructing rigorous proofs in discrete mathematics.