U+214B Turned Ampersand
U+214B wurde in Version 3.2 in 2002 zu Unicode hinzugefügt. Er gehört zum Block
Dieses Zeichen ist ein Math Symbol und wird allgemein verwendet, das heißt, in keiner speziellen Schrift.
Das Zeichen ist keine Zusammensetzung. Es hat keine zugewiesene Weite in ostasiatischen Texten. In bidirektionalem Text handelt es als Other Neutral. Bei einem Richtungswechsel wird es nicht gespiegelt. Das Wort, das U+214B mit ähnlichen Zeichen bildet, verbietet in sich Zeilenumbrüche.
Die Wikipedia hat die folgende Information zu diesem Codepunkt:
Linear logic is a substructural logic proposed by Jean-Yves Girard as a refinement of classical and intuitionistic logic, joining the dualities of the former with many of the constructive properties of the latter. Although the logic has also been studied for its own sake, more broadly, ideas from linear logic have been influential in fields such as programming languages, game semantics, and quantum physics (because linear logic can be seen as the logic of quantum information theory), as well as linguistics, particularly because of its emphasis on resource-boundedness, duality, and interaction.
Linear logic lends itself to many different presentations, explanations, and intuitions. Proof-theoretically, it derives from an analysis of classical sequent calculus in which uses of (the structural rules) contraction and weakening are carefully controlled. Operationally, this means that logical deduction is no longer merely about an ever-expanding collection of persistent "truths", but also a way of manipulating resources that cannot always be duplicated or thrown away at will. In terms of simple denotational models, linear logic may be seen as refining the interpretation of intuitionistic logic by replacing cartesian (closed) categories by symmetric monoidal (closed) categories, or the interpretation of classical logic by replacing Boolean algebras by C*-algebras.
Darstellungen
System | Darstellung |
---|---|
Nr. | 8523 |
UTF-8 | E2 85 8B |
UTF-16 | 21 4B |
UTF-32 | 00 00 21 4B |
URL-kodiert | %E2%85%8B |
HTML hex reference | ⅋ |
Falsches windows-1252-Mojibake | â…‹ |
Anderswo
Vollständiger Eintrag
Eigenschaft | Wert |
---|---|
3.2 (2002) | |
TURNED AMPERSAND | |
— | |
Letterlike Symbols | |
Math Symbol | |
Common | |
Other Neutral | |
Not Reordered | |
none | |
|
|
✘ | |
|
|
|
|
✘ | |
|
|
|
|
|
|
|
|
|
|
✘ | |
✘ | |
✘ | |
✘ | |
✘ | |
✘ | |
✘ | |
✘ | |
✘ | |
✘ | |
✘ | |
✘ | |
✘ | |
✘ | |
✘ | |
✘ | |
✘ | |
✘ | |
✘ | |
✘ | |
✘ | |
✘ | |
✘ | |
✘ | |
✘ | |
|
|
Egal | |
✔ | |
✘ | |
✘ | |
✘ | |
✘ | |
✘ | |
✘ | |
✘ | |
✘ | |
0 | |
0 | |
0 | |
✘ | |
None | |
— | |
NA | |
Other | |
— | |
✘ | |
✘ | |
✔ | |
✘ | |
Ja | |
Ja | |
|
|
Ja | |
|
|
Ja | |
✘ | |
✘ | |
✘ | |
✘ | |
✘ | |
✘ | |
✘ | |
✘ | |
✘ | |
✘ | |
✘ | |
✘ | |
✘ | |
✘ | |
Andere | |
✘ | |
✘ | |
✘ | |
✘ | |
✘ | |
Andere | |
✘ | |
✘ | |
✘ | |
✘ | |
✘ | |
✘ | |
✘ | |
|
|
None | |
neutral | |
Nicht anwendbar | |
— | |
No_Joining_Group | |
Non Joining | |
Alphabetic | |
none | |
keine Nummer | |
|
|
R |