地図

記号↦は、垂直線から突き出た右向きの矢印です。これは、数学やコンピュータサイエンス^{[ 1 ]}で関数を表すために使用されます。

• ソフトウェア開発で使用される仕様言語であるZ表記法では、^{[ 2 ]}この記号はマップレット矢印と呼ばれ、式x ↦ yはマップレットと呼ばれます。
• 分離論理においては、それはメモリの特定のセルの内容を表す。

Unicode文字セット では、この記号はコードポイントU+21A6です。^{[ 3 ]}

「Maps to」演算子は、関数に名前を割り当てることを避けたい場合に便利です。

これにより、命名規則の不備による誤解を防ぐことができます^{[ 4 ]。}例えば、同じファイル内または同じ数学的証明内に存在する2つの関数による次のような名前の衝突を回避できます。

• func sqr: ${\displaystyle x\mapsto x*x}$
  • 入力値を二乗します
• func sqr: ${\displaystyle x\mapsto (2*x)+(2*x)}$。
  • 入力された辺の長さに基づいて、正方形の周囲長を計算します。

• 矢印表記– 例:${\displaystyle x\mapsto x+1}$地図としても知られています