Menu
Home
People
Places
Arts
History
Plants & Animals
Science
Life & Culture
Technology
Reference.org
Maps to
open-in-new
<p>The maps to symbol, ↦, is a rightward arrow protruding from a vertical bar. It is used in <a href="/facts/Mathematics/pxTouaz4">mathematics</a> and in <a href="/facts/Computer_science/lN3pEyPz">computer science</a> to denote <a href="/facts/Function_(mathematics)/CdReEKCh">functions</a>. In <a href="/facts/Z_notation/5mUjpTvv">Z notation</a>, a <a href="/facts/Specification_language/vqNInfdh">specification language</a> used in software development, this symbol is called the maplet arrow and the expression x ↦ y is called a maplet. In <a href="/facts/Separation_logic/KXLDW7Ma">separation logic</a> it denotes the contents of a specific cell of memory. </p><p>In the <a href="/facts/Unicode/DDu3MfPV">Unicode</a> character set, the symbol is code point U+21A6. </p>