U+21F8 Rightwards Arrow with Vertical Stroke
U+21F8 was added in Unicode version 3.2 in 2002. It belongs to the block
This character is a Math Symbol and is commonly used, that is, in no specific script. The character is also known as z notation partial function.
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 not mirrored. The word that U+21F8 forms with similar adjacent characters prevents a line break inside it.
The Wikipedia has the following information about this codepoint:
In mathematics, a partial function f from a set X to a set Y is a function from a subset S of X (possibly the whole X itself) to Y. The subset S, that is, the domain of f viewed as a function, is called the domain of definition or natural domain of f. If S equals X, that is, if f is defined on every element in X, then f is said to be a total function.
More technically, a partial function is a binary relation over two sets that associates every element of the first set to at most one element of the second set; it is thus a univalent relation. It generalizes the concept of a (total) function by not requiring every element of the first set to be associated to an element of the second set.
A partial function is often used when its exact domain of definition is not known or difficult to specify. This is the case in calculus, where, for example, the quotient of two functions is a partial function whose domain of definition cannot contain the zeros of the denominator. For this reason, in calculus, and more generally in mathematical analysis, a partial function is generally called simply a function. In computability theory, a general recursive function is a partial function from the integers to the integers; no algorithm can exist for deciding whether an arbitrary such function is in fact total.
When arrow notation is used for functions, a partial function from to is sometimes written as or However, there is no general convention, and the latter notation is more commonly used for inclusion maps or embeddings.
Specifically, for a partial function and any one has either:
- (it is a single element in Y), or
- is undefined.
For example, if is the square root function restricted to the integers
- defined by:
- if, and only if,
then is only defined if is a perfect square (that is, ). So but is undefined.
Representations
System | Representation |
---|---|
Nº | 8696 |
UTF-8 | E2 87 B8 |
UTF-16 | 21 F8 |
UTF-32 | 00 00 21 F8 |
URL-Quoted | %E2%87%B8 |
HTML hex reference | ⇸ |
Wrong windows-1252 Mojibake | ⇸ |
alias | z notation partial function |
Elsewhere
Complete Record
Property | Value |
---|---|
3.2 (2002) | |
RIGHTWARDS ARROW WITH VERTICAL STROKE | |
— | |
Arrows | |
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 |