Карты в
(Перенаправлено с ↦ )
| ↦ | |
|---|---|
Карты в |
Символ . ↦ соответствует стрелке вправо, выступающей из вертикальной полосы Он используется в математике и информатике для обозначения функций . В нотации Z , языке спецификаций , используемом при разработке программного обеспечения, [ 1 ] этот символ называется стрелкой маплета , а выражение x ↦ y называется маплетом . В логике разделения он обозначает содержимое конкретной ячейки памяти.
В наборе символов Юникода этот символ представляет собой кодовую точку U+21A6. [ 2 ]
См. также
[ редактировать ]- Обозначение стрелки – например, , также известный как карта
Ссылки
[ редактировать ]- ^ Микушак, Любош; Мирослав Адамий; Томас Зейдманн (1997). «Публикация официальных спецификаций в нотации Z во всемирной паутине». TAPSOFT '97: Теория и практика разработки программного обеспечения . Конспекты лекций по информатике. Том. 1214. стр. 871–874. дои : 10.1007/BFb0030650 . ISBN 978-3-540-62781-4 .
- ^ Символ Юникода «СТРЕЛКА ВПРАВО ОТ ПОЛОСКИ» (U + 21A6)