Alineación en definiciones de funciones

Question

Tengo el siguiente código para la definición de una función.

\begin{align*}
\varphi_{\sigma}\colon  &E \longrightarrow E \\
&(x_{1},x_{2},...,x_{n}) \longmapsto        
(x_{\sigma(1)},x_{\sigma(2)},...,x_{\sigma(n)}).
\end{align*}

Esto me parece bastante feo y me gustaría que las flechas también estuvieran alineadas. No pude lograr hacerlo dentro del alignentorno. Puedo hacerlo con el arrayentorno, pero esto tampoco se reproduce bien, porque el espacio entre las matemáticas y el cuerpo del texto cambia.

Answer 1

Tenía la misma solución inicial que @Gonzalo Medina, pero agregué una solución usando el \medmathcomando del nccmathpaquete, que reduce el tamaño de las $n$-tuplas en aproximadamente un 30 %:

\documentclass{article}
\usepackage[overload]{empheq}
\usepackage{nccmath}

\begin{document}

\begin{align*}
  φ_{σ}\colon E & ―――→ E \\
  (x_{1},x_{2},...,x_{n}) & \longmapsto
  (x_{σ(1)},x_{σ(2)},...,x_{σ(n)}).
\end{align*}
\vskip 1cm

\verb+With \medmath+:
\begin{align*}
  φ_{σ}\colon E & ―――→ E \\[-0.5ex]
  \medmath{(x_{1},x_{2},...,x_{n})} & \longmapsto
  \medmath{(x_{σ(1)},x_{σ(2)},...,x_{σ(n)}).}
\end{align*}

\end{document} 

Answer 2

Puede alinear las flechas, pero esto puede parecer extraño ya que la n-tupla es demasiado ancha; Otro enfoque es renunciar a la alineación, ser un poco prolijo y separar los componentes:

\documentclass{article}
\usepackage{amsmath}

\begin{document}

\begin{align*}
\varphi_{\sigma}\colon  E &\longrightarrow E \\
(x_{1},x_{2},...,x_{n}) &\longmapsto        
(x_{\sigma(1)},x_{\sigma(2)},...,x_{\sigma(n)}).
\end{align*}

We have the mapping $\varphi_{\sigma}\colon  E \longrightarrow E$
such that 
\[
(x_{1},x_{2},...,x_{n}) \longmapsto        
(x_{\sigma(1)},x_{\sigma(2)},...,x_{\sigma(n)}).
\]
\end{document}