por que algo desaparece no ambiente alinhado?

Question

Notei um comportamento estranho com o ambiente alinhado:

\begin{equation}\label{eq:direct_limit}
\begin{aligned}
[x] + [y] & := [\eta_{ik}(x) + \eta_{jk}(y)],\\
[x] \cdot r & := [x \cdot r].
\end{aligned} 
\end{equation}

Se eu compilar isso, falta o primeiro "[x]" da equação. Alguém sabe por quê?

Answer 1

O [x]é mal interpretado como o argumento opcional para aligned. Você pode usar um \relax:

\documentclass{article}
\usepackage{amsmath}

\begin{document}

\begin{equation}\label{eq:direct_limit}
\begin{aligned}\relax
[x] + [y] & := [\eta_{ik}(x) + \eta_{jk}(y)],\\ [x] \cdot r & := [x \cdot r].
\end{aligned} 
\end{equation}

\end{document}

Em vez de :=você poderia usar \coloneqqfrom mathtools:

\documentclass{article}
\usepackage{mathtools}

\begin{document}

\begin{equation}\label{eq:direct_limit}
\begin{aligned}\relax
[x] + [y] & \coloneqq [\eta_{ik}(x) + \eta_{jk}(y)],\\ 
[x] \cdot r & \coloneqq [x \cdot r].
\end{aligned} 
\end{equation}

\end{document}

Answer 2

Use um vazio {}para evitar [x]que seja adicionado como argumento opcional de aligned.

\documentclass{article}
\usepackage{amsmath}
\begin{document}
  \begin{equation}\label{eq:direct_limit}
\begin{aligned}
{}[x] + [y] & := [\eta_{ik}(x) + \eta_{jk}(y)],\\
[x] \cdot r & := [x \cdot r].
\end{aligned}
\end{equation}
\end{document}

Answer 3

Uma solução simples é usar mathtoolspackage para corrigir o problema em \\command e amsmathem alguns ambientes.

\documentclass{article}
\usepackage{mathtools}

\begin{document}

\begin{equation}\label{eq:direct_limit}
\begin{aligned}
[x] + [y] & := [\eta_{ik}(x) + \eta_{jk}(y)],\\
[x] \cdot r & := [x \cdot r].
\end{aligned} 
\end{equation}

\end{document}