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.

In the Unicode character set, the symbol is code point U+21A6.

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