À retenir
- Ce sont des signes Unicode techniques (⌊, ⌋, ⌈, ⌉).
- Ils symbolisent les fonctions mathématiques de sol (floor) et de plafond (ceiling).
- Ils se distinguent des crochets par l'absence d'une des deux barres horizontales.
Un anglet est un petit symbole graphique en forme de coin ou d'angle droit utilisé en typographie informatique et en mathématiques. Il sert principalement à entourer un nombre pour indiquer comment il doit être arrondi (vers le bas ou vers le haut), un peu comme des parenthèses spécialisées.
Étymologie
Dérivé du mot « angle » avec le suffixe diminutif « -et », il désigne littéralement un petit angle. En informatique, ce terme est resté pour décrire des caractères Unicode spécifiques qui ne sont ni des crochets classiques, ni des parenthèses.
Exemples d'usage
- L'anglet inférieur (
⌊ ⌋) utilisé pour la fonction « plancher » :⌊4,9⌋ = 4. - L'anglet supérieur (
⌈ ⌉) utilisé pour la fonction « plafond » :⌈4,1⌉ = 5.
Cas d'usage
Ces symboles interviennent dans la rédaction de documents techniques, d'algorithmes et de formules mathématiques. Ils permettent de noter de manière compacte des opérations de troncature ou d'arrondi dans des publications scientifiques ou des spécifications logicielles.
Bonnes pratiques
Dans le code source d'un programme (Python, C, Java, etc.), n'utilisez pas ces symboles directement comme opérateurs. Utilisez plutôt les fonctions dédiées des bibliothèques mathématiques comme math.floor() ou math.ceil() pour garantir la compatibilité.
Synonymes
Conseil
Si vous débutez en algorithmique, apprenez à reconnaître ces symboles dans les livres de référence : ils vous indiquent immédiatement qu'un résultat doit être transformé en nombre entier sans virgule.
Questions fréquentes
Comment insérer un anglet dans un document HTML ?
On utilise les entités ⌊ (⌊) et ⌋ (⌋) pour le plancher, et ⌈ (⌈) et ⌉ (⌉) pour le plafond.
Est-ce que l'anglet est un synonyme de chevron ?
Non. Les chevrons sont des signes en forme de V pointé horizontalement (< >), tandis que les anglets sont des angles droits pointant vers le haut ou le bas.