Maps to

For the butterfly called a maplet, see Chersonesia.
↦
Maps to

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,[1] 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.[2]

See also

  • Arrow notation – e.g., , also known as map

References

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

Read other articles:

Fiat Palio

Fiat PalioInformasiProdusenFiatMasa produksi1996–2017 (hatchback)1997–2019 (wagon)Bodi & rangkaKelasSubkompakTata letakFront-engine, front-wheel-driveKronologiPendahuluFiat MillePenerusFiat Argo Fiat Palio adalah mobil supermini yang diproduksi oleh produsen Italia, Fiat dari tahun 1996 hingga 2017. Ini adalah mobil dunia, yang dikembangkan oleh Fiat Automóveis dan ditujukan untuk negara-negara berkembang. Ini telah diproduksi di berbagai negara di seluruh dunia, dan platformnya juga...

 

Berkik kayu

Berkik kayu Gallinago nemoricola Status konservasiRentanIUCN22693082 TaksonomiKerajaanAnimaliaFilumChordataKelasAvesOrdoCharadriiformesFamiliScolopacidaeGenusGallinagoSpesiesGallinago nemoricola Hodgson, 1836 Tata namaSinonim taksonCapella nemoricola (en) DistribusiEndemikNamdapha National Park (en) dan Tso Lhamo Cold Desert Conservation Area (en) lbs Berkik kayu ( Gallinago nemoricola ) adalah spesies berkik yang berkembang biak di Himalaya di India utara, Nepal, Bhutan, dan Cina selatan. Di...

 

Udang

Untuk artikel mengenai makanan, lihat udang (makanan). Udang Klasifikasi ilmiah Kerajaan: Animalia Filum: Arthropoda Subfilum: Crustacea Kelas: Malacostraca Ordo: Decapoda Subordo: Pleocyemata Infraordo: CarideaDana, 1852 Superfamili Alpheoidea Atyoidea Bresilioidea Campylonotoidea Crangonoidea Galatheacaridoidea Nematocarcinoidea Oplophoroidea Palaemonoidea Pandaloidea Pasiphaeoidea Procaridoidea Processoidea Psalidopodoidea Stylodactyloidea Larva nauplius udang. Udang goreng khas Kampar, Ri...

Mondo film

Film genre Not to be confused with Mondo (film). This article needs additional citations for verification. Please help improve this article by adding citations to reliable sources. Unsourced material may be challenged and removed.Find sources: Mondo film – news · newspapers · books · scholar · JSTOR (November 2012) (Learn how and when to remove this template message) Mondo films are a subgenre of exploitation films and documentary films. Many mondo fil...

 

Jerusalem Chamber

The Jerusalem Chamber is a room in what was formerly the abbot's house of Westminster Abbey. The room overlooks the main west door of the abbey. It was added in the fourteenth century. The abbot's house was made the deanery when the monastery was dissolved in 1540. Henry IV of England died in the Jerusalem Chamber on 20 March 1413, and the Committee to write the King James Version of the Bible met there in 1611. The Upper House of Convocation often met there, and the Westminster Assembly met...

 

Canton de Lamballe-Armor

Pour les articles homonymes, voir Lamballe (homonymie). Canton de Lamballe-Armor Situation du canton de Lamballe-Armor dans le département des Côtes-d'Armor. Administration Pays France Région Bretagne Département Côtes-d'Armor Arrondissement(s) Dinan (1)Saint-Brieuc (11) Bureau centralisateur Lamballe-Armor Conseillersdépartementaux Mandat Robert RaultNathalie Travert Le Roux 2021-2028 Code canton 22 06 Histoire de la division Création 15 février 1790[1] Modifications 1 : 5 brum...

Žarnov

This article does not cite any sources. Please help improve this article by adding citations to reliable sources. Unsourced material may be challenged and removed.Find sources: Žarnov – news · newspapers · books · scholar · JSTOR (December 2010) (Learn how and when to remove this template message) Košice-okolie District in the Košice Region Žarnov (Hungarian: Zsarnó) is a village and municipality in Košice-okolie District in the Kosice Region of ...

 

Moldova–European Union relations

This article is about bilateral relations. For the broad perspective on the accession negotiations between the European Union and Moldova, see Accession of Moldova to the European Union. Bilateral relationsEuropean Union-Moldova relations European Union Moldova Diplomatic missionEuropean Union Delegation, ChișinăuMission of Moldova, Brussels Politics of Moldova Government of Moldova Constitution Human rights Neutrality Parliament President Igor Grosu Judiciary Constitutional Court Supreme C...

 

Armored car (military)

Light Armored Vehicle redirects here. For series of vehicles produced by General Dynamics Land Systems, see LAV (armoured vehicle). Wheeled armoured fighting vehicle U.S. T17E1 Staghound armored car of World War II AMX-10RC, a modern armored car of the French Army Part of a series onWar History Prehistoric Ancient Post-classical Early modern Pike and shot napoleonic Late modern industrial fourth-gen Military Organization Command and control Defense ministry Army Navy Air force Marines Coast g...

WEFG-LD

WPTV-LP redirects here. Not to be confused with WPTV-TV. Television station in Pennsylvania, United StatesWEFG-LDPhiladelphia, PennsylvaniaUnited StatesChannelsDigital: 21 (UHF)Virtual: 7ProgrammingAffiliationssee § SubchannelsOwnershipOwnerPhiladelphia Television Network, Inc.HistoryFirst air dateAugust 16, 1991; 32 years ago (1991-08-16)Former call signsW07CB (1991–2001)WPTV-LP (2001)WWJT-LP (2001–2010)Former channel number(s)Analog: 7 (VHF, 1991–2010)Former a...

 

Siege of Calcutta

The neutrality of this article is disputed. Relevant discussion may be found on the talk page. Please do not remove this message until conditions to do so are met. (December 2017) (Learn how and when to remove this message) Siege during the Seven Years’ War Siege of CalcuttaPart of Seven Years' WarDate20 June 1756LocationCalcutta, Bengal SubahResult Bengali victory.Territorialchanges Nawab of Bengal recaptures the city of CalcuttaBelligerents Bengal Subah East India CompanyCommanders and le...

 

Mega Twins

1990 video gameMega TwinsJapanese arcade flyerDeveloper(s)Capcom (arcade)Visco (Mega Drive/Genesis) NEC Avenue (PC Engine)Publisher(s)Capcom (arcade) U.S. Gold (Amiga, ST) Sega (Mega Drive/Genesis) NEC Avenue (PC Engine)Composer(s)Hiromitsu TakaokaPlatform(s)Arcade, Amiga, Atari ST, Mega Drive, PC Engine CD-ROMReleaseArcade: June 19, 1990Genre(s)PlatformMode(s)Up to 2 players simultaneouslyArcade systemCP System Mega Twins, known as Chiki Chiki Boys (チキチキボーイズ, Chiki Chiki Bōi...

هنود

هنودمعلومات عامةنسبة التسمية الهند التعداد الكليالتعداد قرابة 1.21 مليار[1][2]تعداد الهند عام 2011ق. 1.32 مليار[3]تقديرات عام 2017ق. 30.8 مليون[4]مناطق الوجود المميزةبلد الأصل الهند البلد الهند  الهند نيبال 4,000,000[5] الولايات المتحدة 3,982,398[6] الإمار...

 

アプリケーションソフトウェア

「アプリケーション」はこの項目へ転送されています。英語の意味については「wikt:応用」、「wikt:application」をご覧ください。 この記事には複数の問題があります。改善やノートページでの議論にご協力ください。 出典がまったく示されていないか不十分です。内容に関する文献や情報源が必要です。（2018年4月） 古い情報を更新する必要があります。（2021年3月）出...

 

Chandernagore Municipal Corporation

Local civic body in Chandernagore, West Bengal, India Chandernagore Municipal Corporation চন্দননগর পৌরনিগমSeal of the Chandernagore Municipal CorporationTypeTypeMunicipal Corporation HistoryFounded1994; 30 years ago (1994)LeadershipMayorRam Chakraborty, TMC since 2022 Deputy MayorMunna Agarwal, TMC since 2022 StructureSeats33Political groups Government (31)   TMC: 31 Opposition (2)   CPI(M): 2ElectionsLast election202...

Parliamentary and Financial Secretary to the Admiralty

United KingdomOffice of the Parliamentary and Financial Secretary to the AdmiraltyRoyal Arms as used by His Majesty's GovernmentFlag of the Secretary to the AdmiraltyMinistry of DefenceStyleThe Right Honourable(Formal prefix)Secretary to the AdmiraltyMember ofBritish CabinetBoard of AdmiraltySeatWestminster, LondonAppointerThe British Monarchon advice of the Prime MinisterTerm lengthNo fixed termFormation1625–1959First holderSir Edward NicholasFinal holderCharles Ian Orr-EwingWebsitewww.go...

 

يوتو هورغومي

هذه المقالة تحتاج للمزيد من الوصلات للمقالات الأخرى للمساعدة في ترابط مقالات الموسوعة. فضلًا ساعد في تحسين هذه المقالة بإضافة وصلات إلى المقالات المتعلقة بها الموجودة في النص الحالي. (يوليو 2021) يوتو هورغومي (باليابانية: 堀米 雄斗)‏    معلومات شخصية الميلاد 7 يناير 1999 (25 س�...

 

Салтыков, Анатолий Иванович

В Википедии есть статьи о других людях с такой фамилией, см. Салтыков. Анатолий Иванович Салтыков Член Совета Федерации Федерального Собрания Российской Федерации — представитель от исполнительного органа государственной власти Новосибирской области 27 февраля 2004 год�...

J

يفتقر محتوى هذه المقالة إلى الاستشهاد بمصادر. فضلاً، ساهم في تطوير هذه المقالة من خلال إضافة مصادر موثوق بها. أي معلومات غير موثقة يمكن التشكيك بها وإزالتها. (فبراير 2024) Jمعلومات عامةجزء من إخطاطة لاتينيةPolish alphabet (en) أبجدية إنجليزية الرمز .---JulietJ تعديل - تعديل مصدري - تعديل ويك...

 

Pierre Loti

French naval officer, novelist, and Turkophile Louis Marie-Julien ViaudPierre Loti on the day of his reception at the Académie Française, 7 April 1892Born(1850-01-14)14 January 1850Rochefort, Charente-Maritime, FranceDied10 June 1923(1923-06-10) (aged 73)Hendaye, FrancePen namePierre LotiOccupationFrench navy officer, novelistNationalityFrenchSignature Pierre Loti (French: [pjɛʁ lɔti]; pseudonym of Louis Marie-Julien Viaud [lwi maʁi ʒyljɛ̃ vjo]; 14 January 1850 �...