$⌊ … ⌋$