Maps to

Quality 0.50 · 2 views · Updated 2 months ago

Mathematical symbol to denote a function

title: "Maps to" type: doc version: 1 created: 2026-02-28 author: "Wikipedia contributors" status: active scope: public tags: ["mathematical-symbols"] description: "Mathematical symbol to denote a function" topic_path: "general/mathematical-symbols" source: "https://en.wikipedia.org/wiki/Maps_to" license: "CC BY-SA 4.0" wikipedia_page_id: 0 wikipedia_revision_id: 0

::summary Mathematical symbol to denote a function ::

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, 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.

References

References

  1. Mikušiak, Luboš. (1997). "TAPSOFT '97: Theory and Practice of Software Development".
  2. [https://www.fileformat.info/info/unicode/char/21a6/index.htm Unicode Character 'RIGHTWARDS ARROW FROM BAR' (U+21A6)]

::callout[type=info title="Wikipedia Source"] This article was imported from Wikipedia and is available under the Creative Commons Attribution-ShareAlike 4.0 License. Content has been adapted to SurfDoc format. Original contributors can be found on the article history page. ::

mathematical-symbols