Maplet
Mathematical symbol to denote a function
↦ | |
---|---|
Maplet |
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). Some examples of use of the maplet is in Z notation, a formal specification language used in software development,[1] and separation logic, where it denotes the contents of a specific cell of memory.
In the Unicode character set, the maplet is at the point U+21A6.[2]
See also
- Arrow notation – e.g., , also known as map
References
- ^ Mikušiak, Luboš; Miroslav Adámy; Thomas Seidmann (1997). "Publishing formal specifications in Z notation on world wide web". TAPSOFT '97: Theory and Practice of Software Development. Lecture Notes in Computer Science. Vol. 1214. pp. 871–874. doi:10.1007/BFb0030650. ISBN 978-3-540-62781-4.
- ^ Unicode Character 'RIGHTWARDS ARROW FROM BAR' (U+21A6)
- v
- t
- e
Common punctuation and other typographical symbols
- space
- , comma
- : colon
- ; semicolon
- ‐ hyphen
- ’ ' apostrophe
- ′ ″ ‴ prime
- . full stop
- & ampersand
- @ at sign
- ^ caret
- / slash
- \ backslash
- … ellipsis
- * asterisk
- ⁂ asterism
- * * * dinkus
- - hyphen-minus
- ‒ – — dash
- ⹀ ⸗ double hyphen
- # number sign
- № numero sign
- º ª ordinal indicator
- % percent sign
- ‰ per mille
- ‱ basis point
- ° degree symbol
- ⌀ diameter sign
- _ underscore
- ⁀ tie
- | ¦ ‖ vertical bar
- • bullet
- · interpunct
- ‘ ’ “ ” ' ' " " quotation mark
- ‹ › « » guillemet
- ( ) [ ] { } ⟨ ⟩ bracket
- ” ditto mark
- † ‡ dagger
- ❧ fleuron (hedera, aldus)
- ☞ manicule
- ◊ ⌑ lozenge
- ¶ ⸿ pilcrow (paragraph mark)
- § section mark