右床記号

⌋ は切り捨てを表す床関数の式を閉じます。 ⌊3.8⌋ = 3、⌊−3.8⌋ = −4。床関数はゼロではなく、常にマイナス無限大の方向へ丸めます。

考え方はこの形より古いものです。ガウスは1808年、整数部分を求める関数を普通の角括弧 [x] で書きました（日本で「ガウス記号」と呼ばれる由来）。ケネス・アイバーソンは1962年、自身のプログラミング記法の中で「floor」という名前とこの半括弧の組を導入し、切り上げ用の天井記号の組も同時に定めました。