Alinhamento nas definições de função

Question

Eu tenho o seguinte código para a definição de uma função

\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*}

Acho isso um tanto feio e gostaria que as setas também estivessem alinhadas. Não consegui fazer isso dentro do alignambiente. Posso fazer isso com o arrayambiente, mas também não renderiza bem, porque o espaço entre a matemática e o corpo do texto muda.

Answer 1

Eu tive a mesma solução inicial do @Gonzalo Medina, mas adicionei uma solução usando o \medmathcomando do nccmathpacote, que reduz o tamanho das tuplas $n$ em cerca de 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

Você pode alinhar nas setas, mas isso pode parecer estranho, pois a n-tupla é muito larga; outra abordagem é desistir do alinhamento, ser um pouco prolixo e separar os 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}