55

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.

1

1 Answer 1

69

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
  • 19
    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
  • 7
    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

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Not the answer you're looking for? Browse other questions tagged or ask your own question.