In mathematics, the notation (here, "colon-to notation," because the arrow $\to$ is written "\to" in LaTeX) means that $f$ is a function with domain $X$ and codomain $Y$ . It can be read " $f$ , a function from $X$ to $Y$ ."

This can be thought of as ascribing a function type to the value $f$ . The use of a colon to express that a given value has a given type, as is done in type theory, is a generalization of this notation.

Examples

$f : R \to R$ means that $f$ is a function from the real numbers to the real numbers, such as $x \mapsto x^{2}$ (mapsto notation).

$f : R \times R \to R$ means that $f$ is a function from pairs of real numbers to real numbers. The $\times$ here refers to the Cartesian product of sets.