🔍

Chargement des symboles…

››

⌟

Coin inférieur droit

Coin inférieur droit

⌟ est un délimiteur d’angle inférieur droit employé en notation mathématique et en édition technique. Il ferme la paire de coins inférieure ⌟) et s’obtient avec \lrcorner en LaTeX.

Symbole textuel

Que signifie ⌟

Il marque la fermeture inférieure droite d’une expression mathématique appariée.

Unicode associe ⌟ à trois autres coins (, , ) dans la série des coins de Quine. En logique formelle, Willard Van Orman Quine a introduit la paire supérieure … en 1940 pour la quasi-citation, permettant de désigner des motifs formés par substitution de variables. Si la notation originale de Quine utilisait les coins supérieurs, Unicode inclut la paire inférieure où ⌟ ferme ce que ouvre. En typographie, ils servent parfois de demi-crochets.

Fait partie de la collection

【

Bracket Symbols

Ne pas le confondre avec

⌞

Coin inférieur gauche

Coin inférieur gauche ; son trait vertical monte du côté gauche.

⌋

Plancher droit

Crochet plancher droit ; haut comme toute la ligne de texte pour fermer ⌊…⌋.

⌌

Repère de coupe inférieur droit

Repère de coupe inférieur droit ; ses lignes pointent vers l’extérieur.

À savoir

Quine a introduit ces coins en 1940 pour formaliser les expressions composées par substitution de symboles.

Questions fréquentes

Le signe ⌟ est-il identique au crochet plancher ⌋ ?

Non. Le crochet plancher ⌋ fait toute la hauteur de ligne pour fermer ⌊x⌋, tandis que ⌟ est un angle compact.

D’où vient l’appellation « coin de Quine » ?

Le logicien Willard Van Orman Quine a popularisé les coins supérieurs … pour la quasi-citation, et Unicode a étendu le nom aux quatre angles.

Collections avec ⌟

╔Box Drawing Characters166 symboles

╭Border & Frame Symbols194 symboles

Taper ou trouver ⌟

Aussi appelé: lrcorner · drcorn · coin de Quine inférieur droit
Recherchez-le comme: coin · délimiteur · symbole mathématique · coin de Quine
Apparaît dans: Tout champ acceptant du texte · sa forme dépend de la police

Windows (Word)

⎇Alt+XSaisissez 231F, puis AltX pour obtenir ⌟.

Windows

⊞Win+RLancez charmap pour la table complète ou utilisez l’onglet Ω du sélecteur d’emojis (Win .).

macOS

⌃Control+⌘Command+␣SpaceOuvrez le visualiseur de caractères et cherchez « bottom right corner ».

Linux

⎈Ctrl+⇧Shift+USaisissez 231f, puis Entrée ou Espace.

HTML

⌟

CSS

\231F

LaTeX

Chargez amssymb et tapez \lrcorner.

MathML

Utilisez l’entité &drcorn; ou son alias &lrcorner;.

Linux (GTK)

Dans un champ GTK, appuyez sur CtrlMajU, saisissez 231f et validez par Entrée.

Windows

Avec EnableHexNumpad activé, maintenez Alt, tapez + sur le pavé numérique, puis 231f, et relâchez Alt.

Codes et encodagePoints de code : 1

HTML décimal

⌟

HTML hexadécimal

⌟

Contenu CSS

content: "\231F";

Chaque échappement se termine à la barre oblique inverse suivante ; ajoutez une espace avant un chiffre hexadécimal littéral.

Encodage URL

%E2%8C%9F

À l’écran

Points de code

JS .length

Octets UTF-8

Un symbole visible peut contenir plusieurs points de code. JS .length compte les unités UTF-16 ; UTF-8 compte les octets.

Groupes de ce symbole

Mathématiques et nombres1 835 symboles

1️⃣📏📐✖️➕➖➗🟰♾️#️⃣*️⃣0️⃣