Maps to
(Redirected from Maplet)
| ↦ | |
|---|---|
Maps to |
The maps to symbol, ↦, is a rightward arrow protruding from a vertical bar. It is used in mathematics and in computer science to denote functions. In Z notation, a specification language used in software development,[1] this symbol is called the maplet arrow and the expression x ↦ y is called a maplet. In separation logic it denotes the contents of a specific cell of memory.
In the Unicode character set, the symbol is code point U+21A6.[2]
See also
[edit | edit source]- Arrow notation – e.g., , also known as map
References
[edit | edit source]- ^ Lua error in Module:Citation/CS1/Configuration at line 2172: attempt to index field '?' (a nil value).
- ^ Unicode Character 'RIGHTWARDS ARROW FROM BAR' (U+21A6)