For the butterfly called a maplet, see Chersonesia.
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 specificationlanguage used in software development[1], and separation logic, where it denotes the contents of a specific cell of memory.
↦
Maplet
In the Unicode character set, the maplet is at the point U+21A6.[2]
^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. ISBN978-3-540-62781-4.
^Unicode Character 'RIGHTWARDS ARROW FROM BAR' (U+21A6)
November 27, 2023
maplet, butterfly, called, maplet, chersonesia, maplet, maplet, arrow, symbol, commonly, pronounced, maps, symbol, consisting, vertical, line, with, rightward, facing, arrow, used, mathematics, computer, science, denote, functions, expression, also, called, ma. For the butterfly called a maplet see Chersonesia 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 MapletIn the Unicode character set the maplet is at the point U 21A6 2 See also editArrow notation e g x x 1 displaystyle x mapsto x 1 nbsp also known as mapReferences edit Mikusiak Lubos Miroslav Adamy 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 Unicode Character RIGHTWARDS ARROW FROM BAR U 21A6 Retrieved from https en wikipedia org w index php title Maplet amp oldid 1186872025, wikipedia, wiki, book, books, library,