Coin de Quine
De Wikipedia, l'encyclopédie encyclopedia
Pour les articles homonymes, voir crochet.
Les coins de Quine sont des signes de ponctuation utilisés en logique mathématique. Les coins de Quine nord-ouest et nord-est ‹ ⌜ ⌝ › sont utilisés pour les quasi-citations ou citations de Quine, et pour noter la numérotation de Gödel d’une expression.
Cet article est une ébauche concernant la typographie et les mathématiques.
Vous pouvez partager vos connaissances en l’améliorant (comment ?) selon les recommandations des projets correspondants.
Davantage d’informations Graphies, Graphie ...
coin de Quine | |
⌜ ⌝ ⌞ ⌟ |
|
Graphies | |
---|---|
Graphie | ⌜ ⌝ ⌞ ⌟ |
Codage | |
Noms | Coin nord-ouest Coin nord-est, Coin sud-ouest, Coin sud-est |
Unicode | U+231C U+231D U+231E U+231F |
Bloc | Signes techniques divers |
modifier |
Fermer