Que signifie ⌜
Il ouvre une citation en coin.
En 1940, le logicien W. V. Quine a introduit la quasi-citation : désigner une expression non précisée tout en montrant sa forme. Les coins associés peuvent aussi désigner le nombre de Gödel d’une formule, le nombre qui permet à l’arithmétique d’y faire référence.
Ponctuation formelle en logique et en composition mathématique.
Seul, ⌜ semble inachevé ; ferme la paire.
Fait partie de la collection
Ne pas le confondre avec
2
Caractères apparentés
1
Idées de combinaisons
1En numérotation de Gödel, cette paire désigne le nombre attribué à la formule φ.
Plus de symboles similaires
13
Collections avec ⌜
4
Taper ou trouver ⌜
- Aussi appelé
- coin de Quine · citation en coin
- Recherchez-le comme
- ulcorner · quasi-citation · nombre de Gödel · ulcorner en LaTeX
- Apparaît dans
- Tout champ acceptant du texte · sa forme dépend de la police
Windows (Word)
Windows
HTML
⌜CSS
\231CLaTeX
Utilisez la commande LaTeX \ulcorner ; associez-la à \urcorner pour le coin droit.
Codes et encodagePoints de code : 1
HTML décimal
⌜
HTML hexadécimal
⌜
Contenu CSS
content: "\231C";
Chaque échappement se termine à la barre oblique inverse suivante ; ajoutez une espace avant un chiffre hexadécimal littéral.
Encodage URL
%E2%8C%9C
1
À l’écran
1
Points de code
1
JS .length
3
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.