왼쪽 천장 괄호

x보다 작지 않은 정수 중 가장 작은 수입니다. 그래서 ⌈2.1⌉ = 3, ⌈2.9⌉ = 3, ⌈3⌉ = 3입니다. '올림'은 수직선 위쪽 방향이라서 음수에서는 0 쪽으로 갑니다: ⌈−2.1⌉ = −2. 짝인 바닥 함수 ⌊x⌋는 내림입니다.

남는 것 없이 모두를 감당할 개수를 셀 때 씁니다. 7명을 2인승 보트에 태우면 ⌈7/2⌉ = 4척. 프로그래밍 언어와 스프레드시트에도 ceil이나 CEILING 같은 올림 함수가 있고, ⌈ ⌉는 그것을 수식으로 쓴 것입니다.

이 반쪽 괄호는 어디서 왔나요?

1962년 케네스 아이버슨이 만들었습니다. 그는 책 『A Programming Language』에서 두 함수를 floor(바닥)와 ceiling(천장)이라 부르고, 대괄호에서 가로획 하나를 뺀 모양으로 썼습니다. 천장은 위 획을, 바닥은 아래 획을 남깁니다. 그 전에도 르장드르(1798년)와 가우스(1808년)가 정수 부분, 즉 내림 표기를 썼지만 올림 기호는 없었습니다.

도널드 커누스의 널리 읽힌 컴퓨터 과학 책들이 ⌈ ⌉를 표준으로 만들었고, 지금은 알고리즘 분석의 흔한 표기입니다. 한국 교과서에서는 정수 부분을 가우스 기호 [x]로 쓰는 경우가 많습니다.