Maplet

From Wikipedia, the free encyclopedia
  (Redirected from )
Jump to: navigation, search
Maplet
Punctuation
apostrophe   '
brackets [ ]  ( )  { }  ⟨ ⟩
colon :
comma ,  ،  
dash   –  —  ―
ellipsis   ...  . . .
exclamation mark !
full stop, period .
hyphen
hyphen-minus -
question mark ?
quotation marks ‘ ’  “ ”  ' '  " "
semicolon ;
slash, stroke, solidus /  
Word dividers
interpunct ·
space     
General typography
ampersand &
asterisk *
at sign @
backslash \
bullet
caret ^
dagger † ‡
degree °
ditto mark
inverted exclamation mark ¡
inverted question mark ¿
number sign, pound, hash, octothorpe #
numero sign
obelus ÷
ordinal indicator º ª
percent, per mil % ‰
plus and minus + −
basis point
pilcrow
prime     
section sign §
tilde ~
underscore, understrike _
vertical bar, pipe, broken bar |    ¦
Intellectual property
copyright ©
sound-recording copyright
registered trademark ®
service mark
trademark
Uncommon typography
asterism
hedera
index, fist
interrobang
irony punctuation
lozenge
reference mark
tie
Related
In other scripts

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). One example of use of the maplet is in Z notation, a formal specification language used in software development.[1]

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

References[edit]

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