U+22A9 Forces
U+22A9 was added in Unicode version 1.1 in 1993. It belongs to the block
This character is a Math Symbol and is commonly used, that is, in no specific script.
The glyph is not a composition. It has no designated width in East Asian texts. In bidirectional text it acts as Other Neutral. When changing direction it is mirrored into
The Wikipedia has the following information about this codepoint:
In the mathematical discipline of set theory, forcing is a technique for proving consistency and independence results. Intuitively, forcing can be thought of as a technique to expand the set theoretical universe to a larger universe by introducing a new "generic" object .
Forcing was first used by Paul Cohen in 1963, to prove the independence of the axiom of choice and the continuum hypothesis from Zermelo–Fraenkel set theory. It has been considerably reworked and simplified in the following years, and has since served as a powerful technique, both in set theory and in areas of mathematical logic such as recursion theory. Descriptive set theory uses the notions of forcing from both recursion theory and set theory. Forcing has also been used in model theory, but it is common in model theory to define genericity directly without mention of forcing.
Representations
System | Representation (click value to copy) |
---|---|
Nº | |
UTF-8 | |
UTF-16 | |
UTF-32 | |
URL-Quoted | |
HTML hex reference | |
Wrong windows-1252 Mojibake | |
HTML named entity | |
Encoding: GB18030 (hex bytes) | |
LATEX | |
RFC 5137 | |
Bash and Zsh inside echo -e | |
C and C++ | |
C# | |
CSS | |
Excel | |
Go | |
JavaScript | |
Modern JavaScript since ES6 | |
JSON | |
Java | |
Lua | |
Matlab | |
Perl | |
PHP | |
PostgreSQL | |
PowerShell | |
Python | |
Ruby | |
Rust | |
Click the star button next to each label to set this representation as favorite or remove it from the favorites. Favorites will be shown initially. (Favorites are stored locally on your computer and never sent over the internet.) |
Related Characters
Elsewhere
Complete Record
Property | Value |
---|---|
1.1 (1993) | |
FORCES | |
— | |
Mathematical Operators | |
Math Symbol | |
Common | |
Other Neutral | |
Not Reordered | |
none | |
|
|
✘ | |
|
|
|
|
✘ | |
|
|
|
|
|
|
|
|
|
|
✘ | |
✘ | |
✘ | |
✔ | |
✘ | |
✘ | |
✘ | |
✘ | |
✘ | |
✘ | |
✘ | |
✘ | |
✘ | |
✘ | |
✘ | |
✘ | |
✘ | |
✘ | |
✘ | |
✘ | |
✘ | |
✘ | |
✘ | |
✘ | |
✘ | |
|
|
Any | |
✔ | |
✘ | |
✘ | |
✘ | |
✘ | |
✘ | |
✘ | |
✘ | |
✘ | |
0 | |
0 | |
0 | |
✘ | |
None | |
— | |
NA | |
Other | |
— | |
✘ | |
✘ | |
✘ | |
✔ | |
✘ | |
Yes | |
Yes | |
|
|
Yes | |
|
|
Yes | |
✘ | |
✘ | |
✘ | |
✘ | |
✘ | |
✘ | |
✘ | |
✘ | |
✘ | |
✔ | |
✘ | |
✘ | |
✘ | |
✘ | |
Other | |
✘ | |
✘ | |
✘ | |
✘ | |
✘ | |
Other | |
✘ | |
✘ | |
✘ | |
✘ | |
✘ | |
✘ | |
✘ | |
|
|
|
|
None | |
neutral | |
Not Applicable | |
— | |
No_Joining_Group | |
Non Joining | |
Alphabetic | |
none | |
not a number | |
|
|
R |