Maps to

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,[1] 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 character set, the symbol is code point U+21A6.[2]

See also

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

References

edit
  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)

📚 Artikel Terkait di Wikipedia

Chersonesia risa

Chersonesia risa, the common maplet, is a butterfly of the family Nymphalidae. It is found in South-East Asia. Chersonesia risa risa (Assam to Peninsular

John Maplet

John Maplet (1612? – 4 August 1670) was an English physician, and physician to Charles II of England. Maplet probably born in 1612 in the parish of St

Map (mathematics)

preserves all topological properties of a given space List of chaotic maps Maplet arrow (↦) – commonly pronounced "maps to" Mapping class group – Group of

Blitz Research

Monkey 2 was announced in May 2015. Blitz Research also developed the Maplet 3D modelling tool, which is no longer supported.[citation needed] "Who are

List of butterflies of India

2 Nicobar map Cyrestis tabula Endemic Common map Cyrestis thyodamas 4 Wavy maplet Chersonesia intermedia 1 Schedule 2 Common maplet Chersonesia risa 1

List of butterflies of Sikkim

This is a tentative list of butterfly species and subspecies found in Sikkim, an Indian state in northeast India. Tribe: Leptocircini Subspecies: Graphium

Waldseemüller map

15, 2018, at the Wayback Machine; cited in George E. Nunn, "The Three Maplets attributed to Bartholomew Columbus", Imago Mundi, vol. 9, 1952, 12–22.

Chersonesia

Indomalayan butterfly genus in the family Nymphalidae. The common name is maplet. This genus is very close to the genus Cyrestis from which it differs by