Карты в

Математический символ для обозначения функции.

Символ maps to , ↦, представляет собой направленную вправо стрелку, выступающую из вертикальной черты. Он используется в математике и информатике для обозначения функций . В нотации Z , языке спецификаций , используемом при разработке программного обеспечения, ^[1] этот символ называется maplet arrow , а выражение x ↦ y называется maplet . В логике разделения он обозначает содержимое определенной ячейки памяти.

В наборе символов Unicode символ имеет кодовую точку U+21A6. ^[2]

Смотрите также

• Обозначение стрелок – например, , также известное как карта ${\displaystyle x\mapsto x+1}$

Ссылки

1. Mikušiak, Luboš; Miroslav Adamy; Thomas Seidmann (1997). "Публикация формальных спецификаций в нотации Z в Интернете". TAPSOFT '97: Теория и практика разработки программного обеспечения . Конспект лекций по информатике. Том 1214. С. 871–874. doi : 10.1007/BFb0030650 . ISBN 978-3-540-62781-4.
2. Символ Unicode «СТРЕЛКА НАПРАВО ОТ ЧЕРТКИ» (U+21A6)