Maplet arrow
   HOME

TheInfoList



OR:

A maplet or maplet arrow (symbol: ↦, commonly pronounced "maps to") is a symbol consisting of a vertical line with a rightward-facing arrow. It is used in mathematics and in
computer science Computer science is the study of computation, automation, and information. Computer science spans theoretical disciplines (such as algorithms, theory of computation, information theory, and automation) to practical disciplines (includi ...
to denote
function Function or functionality may refer to: Computing * Function key, a type of key on computer keyboards * Function model, a structured representation of processes in a system * Function object or functor or functionoid, a concept of object-oriente ...
s (the expression x ↦ y is also called a maplet). One example of use of the maplet is in
Z notation The Z notation is a formal specification language used for describing and modelling computing systems. It is targeted at the clear specification of computer programs and computer-based systems in general. History In 1974, Jean-Raymond Abria ...
, a
formal specification In computer science, formal specifications are mathematically based techniques whose purpose are to help with the implementation of systems and software. They are used to describe a system, to analyze its behavior, and to aid in its design by verif ...
language Language is a structured system of communication. The structure of a language is its grammar and the free components are its vocabulary. Languages are the primary means by which humans communicate, and may be conveyed through a variety of ...
used in software development. In the
Unicode Unicode, formally The Unicode Standard,The formal version reference is is an information technology standard for the consistent encoding, representation, and handling of text expressed in most of the world's writing systems. The standard, wh ...
character set, the maplet is at the point U+21A6.Unicode Character 'RIGHTWARDS ARROW FROM BAR' (U+21A6)
/ref>


See also

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


References

{{navbox punctuation Mathematical symbols