почему что-то исчезает в выровненной среде?

Question

Я заметил странное поведение выровненной среды:

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

Если я это скомпилирую, то первый "[x]" в уравнении отсутствует. Кто-нибудь знает почему?

Answer 1

Неправильно интерпретируется [x]как необязательный аргумент для aligned. Вы можете использовать \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}

Вместо :=можно использовать \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

Используйте пустое значение {}, чтобы предотвратить [x]добавление в качестве необязательного аргумента 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

Простым решением является использование mathtoolsпакета для устранения проблемы в некоторых средах \\command и .amsmath

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