Ngoặc trần phải

Nó đóng phía bên phải của cặp ngoặc trần.

Trong công thức, ⌉ đóng ⌈x⌉, ký hiệu số nguyên nhỏ nhất lớn hơn hoặc bằng x. Ký hiệu đi cặp với nó, ⌈, mở biểu thức. Trong LaTeX, \rceil và \lceil là lệnh cho nửa phải và nửa trái.

Ngoặc trần phát triển từ các ký hiệu phần nguyên cũ hơn. Năm 1808, Gauss dùng ngoặc vuông [x] để chỉ số nguyên lớn nhất không vượt quá x. Trong cuốn sách Một ngôn ngữ lập trình xuất bản năm 1962, Kenneth Iverson giới thiệu dạng nửa ngoặc cùng tên floor và ceiling, giúp nhìn rõ hướng của từng phép toán.

Đây là dấu phân cách, không phải ngoặc vuông bị hỏng

⌉ được thiết kế chỉ làm góc trên bên phải của một dấu phân cách toán học cao và hẹp; nó không phải ngoặc vuông bị hỏng. Đứng riêng, nó không có nghĩa là “làm tròn lên”: phép toán trần hoàn chỉnh cần có ⌈ bao quanh biểu thức.