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., x↦x+1, also known as map

## References

1. ↑ 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. 1214. pp. 871–874. doi:10.1007/BFb0030650. ISBN 978-3-540-62781-4.
2. ↑ Unicode Character 'RIGHTWARDS ARROW FROM BAR' (U+21A6)

* v
* t
* e

Punctuation

* &
* ’ '
* *
* ⁂
* @
* \
* [ ] ( ) { } ⟨ ⟩
* •
* ^
* :
* ,
* 🄯
* ©
* † ‡ ⹋
* ‒ – —
* °
* ”〃
* = ⸗
* …
* !
* ❧
* .
* ‹ › « »
* -
* ‐
* ☞
* ·
* ‽
* ¡
* ¿
* ⸮
* ◊
* ×
* #
* №
* ÷
* º ª
* %
* ‰
* ‱
* ¶
* + −
* ± ∓
* ′ ″ ‴
* ?
* ‘ ’ “ ” ' ' " "
* ※
* ®
* §
* ;
* ℠
* /
* ℗
* ⁀
* ~
* ™
* _
* | ¦

* Currency symbols
* Diacritics
* Logic symbols
* Math symbols
* Whitespace

* Chinese punctuation
* Hebrew punctuation
* Japanese punctuation
* Korean punctuation

0.00

(0 votes)

|

Retrieved from "https://handwiki.org/wiki/index.php?title=Software:Maplet&oldid=775603"
*[v]: View this template
*[t]: Discuss this template
*[e]: Edit this template