Maplet
| Punctuation marks | ||||||||||||||||||||||||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
|
||||||||||||||||||||||||||||||
| In other scripts | ||||||||||||||||||||||||||||||
| Related | ||||||||||||||||||||||||||||||
 Category | ||||||||||||||||||||||||||||||
A maplet or maplet arrow (symbol: ↦, commonly pronounced "maps to") is a symbol consisting of a vertical line with a rightward-facing arrow. It is used in mathematics and in computer science to denote functions (the expression x ↦ y is also called a maplet). One example of use of the maplet is in Z notation, a formal specification language used in software development.[1]
In the Unicode character set, the maplet is at the point U+21A6.[2]
References
- ^ Mikušiak, Luboš; Miroslav Adámy; Thomas Seidmann (1997). "Publishing formal specifications in Z notation on world wide web". Lecture Notes in Computer Science. TAPSOFT '97: Theory and Practice of Software Development. 1214: 871–874. doi:10.1007/BFb0030650. ISBN 978-3-540-62781-4.
- ^ Unicode Character 'RIGHTWARDS ARROW FROM BAR' (U+21A6)