Algosim documentation: ⌊⌋

⌊⌋ (floor)

Rounds to the nearest integer in the direction of −∞.

Syntax

Description

If x is a real number, then ⌊x⌋ is the nearest integer that is less than x.

Notes

The circumfix operator ⌊⌋ is mapped to the floor function.

Examples

⌊π⌋
3
⌊e⌋
2
⌊−π⌋
−4
⌊−e⌋
−3

See also