Crochet plafond droit

Il ferme le côté droit d'une paire de crochets plafond.

Dans une formule, ⌉ ferme ⌈x⌉, qui désigne le plus petit entier supérieur ou égal à x. Son partenaire, ⌈, ouvre l'expression. En LaTeX, \rceil et \lceil sont les commandes pour les moitiés droite et gauche.

Les crochets plafond viennent d'anciennes notations de partie entière. En 1808, Gauss utilisait les crochets, [x], pour désigner le plus grand entier inférieur ou égal à x. Dans son livre de 1962 Un langage de programmation, Kenneth Iverson a introduit les demi-crochets et les noms plancher et plafond, qui rendent visible le sens de chaque opération.

C’est un délimiteur, pas un crochet carré abîmé

⌉ est volontairement le coin supérieur droit d’un délimiteur mathématique haut et étroit ; ce n’est pas un crochet carré endommagé. Seul, il ne signifie pas « arrondir au supérieur » : l’opération plafond complète nécessite ⌈ autour de l’expression.