LESSWRONG
LW

1975
Wikitags

Mapsto notation

Edited by Qiaochu_Yuan, et al. last updated 23rd Jul 2016
Requires: Function

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 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:R→R x↦x2.

In one line, although this is less common,

f:R∋x↦x2∈R.

(see in notation).

Parents:
LaTeX
Discussion
Discussion