Article · Wikipedia archive · Last revised May 27, 2026

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, 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.

Last revised
May 27, 2026
Read time
≈ 1 min
Length
144 w
Citations
2
Source
Wikipedia ↗
↦
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

See also

  • Arrow notation – e.g., x ↦ x + 1 {\displaystyle x\mapsto x+1} , also known as map
References

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