Surf Wiki
Save to docs
general/mathematical-symbols

From Surf Wiki (app.surf) — the open knowledge base

Maps to

Mathematical symbol to denote a function

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)]
Info: 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
Want to explore this topic further?

Ask Mako anything about Maps to — get instant answers, deeper analysis, and related topics.

Research with Mako

Free with your Surf account

Content sourced from Wikipedia, available under CC BY-SA 4.0.

This content may have been generated or modified by AI. CloudSurf Software LLC is not responsible for the accuracy, completeness, or reliability of AI-generated content. Always verify important information from primary sources.

Report