Venstre loftparentes

Det åbner et udtryk, der runder op. ⌈x⌉ er det mindste heltal større end eller lig med x: ⌈2,1⌉ er 3, ⌈−2,1⌉ er −2, og ⌈4⌉ forbliver 4.

Den bruges, når et antal skal dække alt: ⌈n/2⌉ sider, servere eller runder, aldrig en brøk. Den er parentesformen af funktionen ceil() i programmeringssprog.

Hvem opfandt loftparentesen?

Kenneth Iverson, i 1962. Iverson, skaberen af programmeringssproget APL, navngav gulv og loft og tegnede dem som kantede parenteser uden den ene vandrette streg. Tidligere brugte Legendre en notation for heltalsdelen i 1798, og Gauss skrev kantede parenteser for nedrunding i 1808 – uden et tilsvarende tegn for oprunding.

I APL virker ⌈ alene: ⌈2.1 giver 3, og 3⌈7 giver den største værdi, 7.

Hvordan skriver jeg loftparentesen i en formel?

Skriv \lceil og \rceil i LaTeX eller MathJax. Omkring en høj brøk strækker \left\lceil … \right\rceil begge halvdele; det almindelige tegn strækkes aldrig. Uden for formelværktøjer indtaster du det via kodepunktet 2308.