Themaps to symbol, ↦, is a rightward arrow protruding from a vertical bar. It is used inmathematics and incomputer science to denotefunctions. InZ notation, aspecification language used in software development,^[1] this symbol is called themaplet arrow and the expression x ↦ y is called amaplet. Inseparation logic it denotes the contents of a specific cell of memory.

In theUnicode character set, the symbol is code point U+21A6.^[2]

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