Maps to

{{Short description|Mathematical symbol to denote a function}} {{For|the butterfly called a maplet|Chersonesia{{!}}''Chersonesia''}} {{Infobox punctuation mark|mark=↦}}

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,<ref>{{cite book|last=Mikušiak|first=Luboš |author2=Miroslav Adámy |author3=Thomas Seidmann |title=TAPSOFT '97: Theory and Practice of Software Development |chapter=Publishing formal specifications in Z notation on world wide web |series=Lecture Notes in Computer Science |year=1997|volume=1214 |pages=871–874|doi=10.1007/BFb0030650|isbn=978-3-540-62781-4 |doi-access=free}}</ref> 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.<ref>[https://www.fileformat.info/info/unicode/char/21a6/index.htm Unicode Character 'RIGHTWARDS ARROW FROM BAR' (U+21A6)]</ref>

==See also==

* Arrow notation – e.g., <math>x\mapsto x+1</math>, also known as ''map''

==References== {{Reflist}} {{navbox punctuation}} Category:Mathematical symbols