From Wikipedia, the free encyclopedia
Maplet

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 to denote functions (the expression x ↦ y is also called a maplet). Some examples of use of the maplet is in Z notation, a formal specification language used in software development, [1] and separation logic, where it denotes the contents of a specific cell of memory.

In the Unicode character set, the maplet is at the point U+21A6. [2]

See also

  • Arrow notation – e.g., , also known as map

References

  1. ^ Mikušiak, Luboš; Miroslav Adámy; Thomas Seidmann (1997). "Publishing formal specifications in Z notation on world wide web". TAPSOFT '97: Theory and Practice of Software Development. Lecture Notes in Computer Science. Vol. 1214. pp. 871–874. doi: 10.1007/BFb0030650. ISBN  978-3-540-62781-4.
  2. ^ Unicode Character 'RIGHTWARDS ARROW FROM BAR' (U+21A6)
From Wikipedia, the free encyclopedia
Maplet

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 to denote functions (the expression x ↦ y is also called a maplet). Some examples of use of the maplet is in Z notation, a formal specification language used in software development, [1] and separation logic, where it denotes the contents of a specific cell of memory.

In the Unicode character set, the maplet is at the point U+21A6. [2]

See also

  • Arrow notation – e.g., , also known as map

References

  1. ^ Mikušiak, Luboš; Miroslav Adámy; Thomas Seidmann (1997). "Publishing formal specifications in Z notation on world wide web". TAPSOFT '97: Theory and Practice of Software Development. Lecture Notes in Computer Science. Vol. 1214. pp. 871–874. doi: 10.1007/BFb0030650. ISBN  978-3-540-62781-4.
  2. ^ Unicode Character 'RIGHTWARDS ARROW FROM BAR' (U+21A6)

Videos

Youtube | Vimeo | Bing

Websites

Google | Yahoo | Bing

Encyclopedia

Google | Yahoo | Bing

Facebook