Mapsto notation

https://arbital.com/p/mapsto_notation

by Qiaochu Yuan May 27 2016 updated Jul 23 2016

There's an arrow called \mapsto in LaTeX. What does it mean?


In mathematics, the arrow (which in LaTeX is called "\mapsto") is used to describe what a function does to an arbitrary input. It is commonly used in combination with colon-to notation, which describes what a function's domain and codomain are.

By itself, can be used to describe a function without naming it, and so is a way to describe [anonymous_function anonymous functions] in mathematics.

Examples

The function f(x)=x2 from the real numbers to the real numbers can be described using a combination of colon-to notation and mapsto notation as

f:RR xx2.

In one line, although this is less common,

f:Rxx2R.

(see in notation).