The maps to symbol, ↦, is a rightward arrow protruding from a vertical bar. It is used in
mathematics
Mathematics is a field of study that discovers and organizes methods, Mathematical theory, theories and theorems that are developed and Mathematical proof, proved for the needs of empirical sciences and mathematics itself. There are many ar ...
and in
computer science
Computer science is the study of computation, information, and automation. Computer science spans Theoretical computer science, theoretical disciplines (such as algorithms, theory of computation, and information theory) to Applied 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
Unicode or ''The Unicode Standard'' or TUS is a character encoding standard maintained by the Unicode Consortium designed to support the use of text in all of the world's writing systems that can be digitized. Version 16.0 defines 154,998 Char ...
character set, the symbol is code point U+21A6.
Unicode Character 'RIGHTWARDS ARROW FROM BAR' (U+21A6)
/ref>
See also
* Arrow notation – e.g., , also known as ''map''
References
{{navbox punctuation
Mathematical symbols