Mathematical symbol to denote a function
Also known as maplet arrow · ↦ · maps to · \mapsto · |-> · maps-to symbol
6 statements · 0% with external sources · numbers in brackets are citations
1 identifiers linking maplet across the web's reference databases
From Wikipedia, the free encyclopedia · Read full article · Text CC BY-SA 4.0
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.