関数を表す数学記号
マップ先の記号↦は、縦棒から突き出た右向きの矢印です。数学やコンピュータサイエンスでは、関数を表すために使用されます。ソフトウェア開発で使用される仕様言語であるZ表記法[1]では、この記号はマップレット矢印と呼ばれ、式x↦yはマップレットと呼ばれます。分離論理では、特定のメモリセルの内容を表します。
Unicode文字セットでは、この記号はコードポイントU+21A6です。[2]
参照
- 矢印表記– 例: 、マップとも呼ばれる
参考文献
- ^ Mikušiak, Luboš; Miroslav Adámy; Thomas Seidmann (1997). 「ワールド ワイド ウェブ上で Z 表記法による形式仕様の公開」TAPSOFT '97: ソフトウェア開発の理論と実践. コンピュータ サイエンスの講義ノート . 第 1214 巻 . pp. 871–874. doi : 10.1007/BFb0030650 . ISBN 978-3-540-62781-4。
- ^ Unicode 文字「バーから右向きの矢印」(U+21A6)
