The nearest integer function, also called nint or the round function, is defined such that nint(x) is the integer closest to x. While the notation ⌊x⌉ is sometimes used to denote the nearest integer function , this notation is rather cumbersome and is not recommended. Also note that while [x] is sometimes used to denote the nearest integer function, [x] is also commonly used to denote the floor function ⌊x⌋ (including by Gauss in his third proof of quadratic reciprocity in 1808), so this notational use is also discouraged.