59

This is perhaps half a math question and half a typesetting one. In what circumstances do I use \mapsto and when \rightarrow? I feel like the standard seems to be: when you're specifying the operator you use \rightarrow, but if you're just saying that one domain maps to another you use \mapsto. Is that correct?

e.g. I would say Q\times\Gamma\mapsto Q but \delta:Q\times\Gamma\rightarrow Q.

2

1 Answer 1

74

You use \mapsto to denote the actual function mapping. For example, consider the function $f:\mathbb N\to\mathbb N$ given by $f(n)=5n$. You could write that second part as $n\mapsto5n$.

8
  • 3
    See also the Wikipedia article.
    – Caramdir
    Nov 10, 2010 at 1:16
  • 23
    The \mapsto notation is useful for talking about a function without inventing a name for it, e.g. "the map $\mathbb{R}\to \mathbb{R}$ given by $x\mapsto x^2$ is not injective". Note that \to is a nice shorthand for \rightarrow, which at the same time is more semantic.
    – Villemoes
    Nov 10, 2010 at 10:36
  • 8
    I'd prefer using \colon instead of :; in fact I'd even more prefer $f\from\mathbb N\to\mathbb N$, with \newcommand*\from{\colon}. Nov 10, 2010 at 14:41
  • 2
    @Hendrik: I like the idea of using \from. I think I've seen equal numbers of : and \colon in books (or the equivalent spacing) so I think it's just up to personal preference (or editor preference, really). I have no strong feelings on that one.
    – TH.
    Nov 11, 2010 at 5:43
  • 1
    @Pacerier: There is a visible difference in the colon spacings between : and \colon. The former has equal spacing on each side (it's a \mathrel, I think), while the latter has greater spacing on the right. That is, f : A \to B renders as "f : AB," while f \colon A \to B renders as "f: AB."
    – wchargin
    Jul 18, 2015 at 1:28

You must log in to answer this question.

Not the answer you're looking for? Browse other questions tagged .