Maps to explained

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

• Arrow notation – e.g.,

x\mapsto x +1 , also known as map

Notes and References

1. Book: Mikušiak, Luboš . Miroslav Adámy . Thomas Seidmann . TAPSOFT '97: Theory and Practice of Software Development . Publishing formal specifications in Z notation on world wide web . Lecture Notes in Computer Science . 1997. 1214 . 871–874. 10.1007/BFb0030650. 978-3-540-62781-4 . free.
2. https://www.fileformat.info/info/unicode/char/21a6/index.htm Unicode Character 'RIGHTWARDS ARROW FROM BAR' (U+21A6)