U+2288 Neither A Subset of Nor Equal To
U+2288 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 a canonical composition of the glyphs
The Wikipedia has the following information about this codepoint:
In mathematics, a set A is a subset of a set B if all elements of A are also elements of B; B is then a superset of A. It is possible for A and B to be equal; if they are unequal, then A is a proper subset of B. The relationship of one set being a subset of another is called inclusion (or sometimes containment). A is a subset of B may also be expressed as B includes (or contains) A or A is included (or contained) in B. A k-subset is a subset with k elements.
When quantified, is represented as
One can prove the statement by applying a proof technique known as the element argument:
Let sets A and B be given. To prove that
- suppose that a is a particular but arbitrarily chosen element of A
- show that a is an element of B.
The validity of this technique can be seen as a consequence of universal generalization: the technique shows for an arbitrarily chosen element c. Universal generalisation then implies which is equivalent to as stated above.
Representations
| System | Representation |
|---|---|
| Nº | 8840 |
| UTF-8 | E2 8A 88 |
| UTF-16 | 22 88 |
| UTF-32 | 00 00 22 88 |
| URL-Quoted | %E2%8A%88 |
| HTML hex reference | ⊈ |
| Wrong windows-1252 Mojibake | ⊈ |
| HTML named entity | ⊈ |
| HTML named entity | ⊈ |
| HTML named entity | ⊈ |
| Encoding: GB18030 (hex bytes) | 81 36 DB 39 |
| LATEX | \not\subseteq |
Related Characters
Elsewhere
Complete Record
| Property | Value |
|---|---|
| 1.1 (1993) | |
| NEITHER A SUBSET OF NOR EQUAL TO | |
| — | |
| Mathematical Operators | |
| Math Symbol | |
| Common | |
| Other Neutral | |
| Not Reordered | |
| canonical | |
|
|
|
| ✘︎ | |
|
|
|
|
|
|
| ✘︎ | |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
| ✘︎ | |
| ✘︎ | |
| ✘︎ | |
| ✔︎ | |
| ✘︎ | |
| ✘︎ | |
| ✘︎ | |
| ✘︎ | |
| ✘︎ | |
| ✘︎ | |
| ✘︎ | |
| ✘︎ | |
| ✘︎ | |
| ✘︎ | |
| ✘︎ | |
| ✘︎ | |
| ✘︎ | |
| ✘︎ | |
| ✘︎ | |
| ✘︎ | |
| ✘︎ | |
| ✘︎ | |
| ✘︎ | |
| ✘︎ | |
| ✘︎ | |
|
|
|
| Any | |
| ✔︎ | |
| ✘︎ | |
| ✘︎ | |
| ✘︎ | |
| ✘︎ | |
| ✘︎ | |
| ✘︎ | |
| ✘︎ | |
| ✘︎ | |
| 0 | |
| 0 | |
| 0 | |
| ✘︎ | |
| None | |
| — | |
| NA | |
| Other | |
| — | |
| ✘︎ | |
| ✘︎ | |
| ✘︎ | |
| ✔︎ | |
| ✘︎ | |
| Yes | |
| No | |
|
|
|
| Yes | |
|
|
|
| No | |
| ✘︎ | |
| ✘︎ | |
| ✘︎ | |
| ✘︎ | |
| ✘︎ | |
| ✘︎ | |
| ✘︎ | |
| ✘︎ | |
| ✘︎ | |
| ✔︎ | |
| ✘︎ | |
| ✘︎ | |
| ✘︎ | |
| ✘︎ | |
| Other | |
| ✘︎ | |
| ✘︎ | |
| ✘︎ | |
| ✘︎ | |
| ✘︎ | |
| Other | |
| ✘︎ | |
| ✘︎ | |
| ✘︎ | |
| ✘︎ | |
| ✔︎ | |
| ✘︎ | |
| ✔︎ | |
|
|
|
|
|
|
| None | |
| neutral | |
| Not Applicable | |
| — | |
| No_Joining_Group | |
| Non Joining | |
| Alphabetic | |
| none | |
| not a number | |
|
|
|
| R |